Holoify

Give it the Holo theme on API 11+ devices.  This work is based on https://github.com/YasuakiHonda/Maxima-on-Android/pull/2