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

Redeclaring buffer_t here seems like a bad idea; why can't we just include buffer_t.h?