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

Done. I also renamed the Halide filter itself to halide_gl_filter.