Make GlobeGPS a dummy on android
Disable usermanual on android
Stub out the printing support on android
Introduce android specific file