Dungeon level entrances and exits

That's the substantive change- more importantly, I just noticed
MiniDungeon is MIT licensed, not public domain like I thought for some
reason! I'd better make sure I'm compliant!