ANDROID: Support OpenGL ES 2
BUILD: Enable ndk-{build,gdb} in dists/android project
ANDROID: Switch renderer to GL ES2
ANDROID: Unpack library from lib/... instead of mylib
ANDROID: Render mouse texture correctly
ANDROID: Disable more drawing code
ANDROID: Use framebuffer on android
BUILD: Add android build stuff
ANDROID: Only select ES2-capable configs
BUILD: Generate correct APKs for Android
ANDROID: Enable on-screen controls
ANDROID: Don't compress assets, skip asset header
ANDROID: remove calls to continue in shaders for better performance

Some devices (like Samsung Galaxy S Plus) seem to handle calls to
"continue" wrongly. The framerate is bad (5fps instead of 20fps) and the
rendering is incorrect (light is way to bright so that manny is almost
white). Removing the continue call fixes this.
ANDROID: SGS plus fix + z-buffer test moved into subroutine
ANDROID: add shader lighting toggle
ANDROID: do not enable SGS plus z-buffer shader fix by default