Reorganized wumpus, combining `wump_ui.pvvs` and `wump_game.pvvs`.