Removed outdated functions in karel/maze.js.