Some more stuff. Like starship Mario, and some edits to credits.

Edits and Credits rhyme! :D

Also, you can use gui.py although it is untested. It's for buttons.