Use the xorshift random number generator to generate dungeons. (#308)