Added several project files to Git. One line there will have non-trivial
impact: I've added project.properties, with target=android-16. This means
we will have to have synchronised Android SDKs to develop on; I don't see
other ways to proceed, since project.properties is meant to be VCS-tracked.
Also modified libraries/*/project.properties accordingly.
Got rid of setjmp/longjmp hack, as a fix for a new crash on exit.
Some highlights: