FR 1837856: note vaults generated in dump

Include new dump section "vaults", which for game-end dumps (or any wizard-mode dumps) will include a list (by place) of all the vaults generated in the game.

The savefile now includes a player-associated CrawlHashTable (you.props), which can be used for storing player information which doesn't need to be accessed efficiently.

Created by  Matthew Cline  on October 26, 2009
VICHU3LGDSE3FMPHG5KFD5CUJBQIINSIL7FDTAOY37SK4UBOBFMQC
Dependencies
In channels
main
Change contents