Use the latest API level.

Conflicts:

	MaximaOnAndroid/AndroidManifest.xml
	MaximaOnAndroid/project.properties
Holo related commits are merged.
Add tavianator-holoify merge log message.