v0.7.3 Play on Android

This version finally arrives also on Android! The big font size has been increased and many UI elements have been adapted for touch screens. It is still not optimal for phones with small screens, but...