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

proguard support here certainly doesn't hurt anything, but is it really needed, either?