OpenGL on Android

This PR adds Android support to the GLSL backend. Main changes:

* Changes to GLSL codegen and backend to handle OpenGL ES correctly
* New HelloAndroidGL app which demonstrates how to use Halide for rendering to textures
* Cosmetic changes to HelloAndroid app

s/probably/definitely/, since iOS (at least) is almost certainly also an interesting target here.