[do not merge - needs review] Android GL

Android GL is almost ready for merging.

Can I get a few sets of good eyes to look at the changes, since there is a lot in here.
Prefer our own implementation of `make_unique`, in `util/std.hpp`.