DungeonBot3000: The Dungeon Crawl Challenge