supertux: make "Run level" button work, add --binary option