v0.7 and v0.8

Version 0.7, the first version with a settings screen and python3 support.

Version 0.8 includes a single bugfix, making space input work with some Android keyboards.