Rename tools/notmario.html to game/notmario.html