Supertux 0.7.0

For now, the developers are taking a well-deserved break and focusing on bug fixes for 0.7.3.