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.

9 files changed, 17 insertions, 12 deletions

diff --git a/crawl-ref/source/dat/clua/ziggurat.lua b/crawl-ref/source/dat/clua/ziggurat.lua
index 74e7029b3e..ba35595d70 100644
--- a/crawl-ref/source/dat/clua/ziggurat.lua
+++ b/crawl-ref/source/dat/clua/ziggurat.lua
@@ -119,6 +119,7 @@ end
 function ziggurat_level(e)
   e.tags("ziggurat")
   e.tags("allow_dup")
+  e.tags("no_dump")
   e.orient("encompass")
 
   if crawl.game_started() then
diff --git a/crawl-ref/source/dat/crypt.des b/crawl-ref/source/dat/crypt.des
index 7c883eb520..bd0fb16f45 100644
--- a/crawl-ref/source/dat/crypt.des
+++ b/crawl-ref/source/dat/crypt.des
@@ -784,6 +784,7 @@ PLACE:   Tomb:1
 BFLAGS:  no_tele_control
 
 ORIENT:  encompass
+TAGS:    no_dump
 #
 SHUFFLE: ([{, AB), ]}, FIJKL/fijkl, _-
 SUBST:   A=|*, B=|*
@@ -885,6 +886,7 @@ NAME:    tomb_2
 PLACE:   Tomb:2
 # Can be rotated!
 ORIENT:  encompass
+TAGS:    no_dump
 #
 NSUBST:  A = [ / '
 SHUFFLE: Ww/Yy/Zz, Uu/Vv, Qq/Rr/Ss
@@ -992,7 +994,7 @@ ENDMAP
 NAME:    tomb_3
 PLACE:   Tomb:3
 ORIENT:  encompass
-TAGS:    no_rotate
+TAGS:    no_rotate no_dump
 #
 SUBST:   ' : " $ ':80
 SUBST:   ' = " $
diff --git a/crawl-ref/source/dat/hells.des b/crawl-ref/source/dat/hells.des
index 6122bc4027..2506875d95 100644
--- a/crawl-ref/source/dat/hells.des
+++ b/crawl-ref/source/dat/hells.des
@@ -317,7 +317,7 @@ ENDMAP
 NAME:   vestibule_of_hell
 PLACE:  Hell
 ORIENT: encompass
-TAGS:   no_rotate
+TAGS:   no_rotate no_dump
 MARKER: D=feat:enter_dis
 MARKER: G=feat:enter_gehenna
 MARKER: C=feat:enter_cocytus
diff --git a/crawl-ref/source/dat/hive.des b/crawl-ref/source/dat/hive.des
index 73a175718a..dea4ab62ae 100644
--- a/crawl-ref/source/dat/hive.des
+++ b/crawl-ref/source/dat/hive.des
@@ -476,6 +476,7 @@ ENDMAP
 NAME:   beehive
 PLACE:  Hive:2
 ORIENT: encompass
+TAGS:   no_dump
 MONS:   queen bee, killer bee, killer bee larva, plant, yellow wasp
 MONS:   random, random
 KITEM:  R = w:2 honeycomb / w:1 royal jelly
diff --git a/crawl-ref/source/dat/lair.des b/crawl-ref/source/dat/lair.des
index 3b921d8780..cce7bc7266 100644
--- a/crawl-ref/source/dat/lair.des
+++ b/crawl-ref/source/dat/lair.des
@@ -716,7 +716,7 @@ ENDMAP
 NAME:    slime_pit
 PLACE:   Slime:6
 ORIENT:  encompass
-TAGS:    no_rotate
+TAGS:    no_rotate no_dump
 MONS:    the royal jelly
 MONS:    acid blob
 MONS:    great orb of eyes / nothing
diff --git a/crawl-ref/source/dat/levdes.vim b/crawl-ref/source/dat/levdes.vim
index b46c67d2b7..465d23f946 100644
--- a/crawl-ref/source/dat/levdes.vim
+++ b/crawl-ref/source/dat/levdes.vim
@@ -55,7 +55,7 @@ syn keyword desDeclarator NAME: ORIENT: DEPTH: PLACE: MONS: FLAGS: default-depth
 syn keyword desOrientation encompass north south east west northeast northwest southeast southwest float
 syn keyword desOrientation no_hmirror no_vmirror no_rotate
 syn keyword desOrientation entry pan lab bazaar allow_dup dummy mini_float minotaur
-syn keyword desOrientation no_pool_fixup no_wall_fixup no_monster_gen generate_awake no_item_gen no_tele_control not_mappable no_magic_map no_secret_doors generate_loot
+syn keyword desOrientation no_pool_fixup no_wall_fixup no_monster_gen generate_awake no_item_gen no_tele_control not_mappable no_magic_map no_secret_doors generate_loot no_dump
 syn keyword desOrientation Temple Orc Elf Lair Swamp Shoal Slime Snake Hive Vault Blade Crypt Tomb Hell Dis Geh Coc Tar
 syn keyword desOrientation D: contained
 
diff --git a/crawl-ref/source/dat/shoals.des b/crawl-ref/source/dat/shoals.des
index 8928e8009d..4983347ecd 100644
--- a/crawl-ref/source/dat/shoals.des
+++ b/crawl-ref/source/dat/shoals.des
@@ -238,7 +238,7 @@ ENDMAP
 #
 # Shoal:$ is hand-hacked to force lots of minivaults.
 NAME:      shoalhut_rune
-TAGS:      shoal_rune water_ok
+TAGS:      shoal_rune water_ok no_dump
 SHUFFLE:   ABCD
 SUBST:     A:x, B:x, C:x=, D=+
 LROCKTILE:  wall_vines
@@ -258,7 +258,7 @@ ENDMAP
 # Shoal:$ is hand-hacked to force lots of minivaults.
 NAME:    shoalhut_norune
 DEPTH:   Shoal:$
-TAGS:    allow_dup water_ok shoal
+TAGS:    allow_dup water_ok shoal no_dump
 SHUFFLE: ABCD
 SUBST:   A:x, B:x, C:x=, D=+
 MAP
diff --git a/crawl-ref/source/dat/vaults.des b/crawl-ref/source/dat/vaults.des
index 660fcd70bf..a037fc0d31 100644
--- a/crawl-ref/source/dat/vaults.des
+++ b/crawl-ref/source/dat/vaults.des
@@ -281,7 +281,7 @@ ENDMAP
 NAME:    vaults_vault
 PLACE:   Vault:8
 ORIENT:  encompass
-TAGS:    no_rotate
+TAGS:    no_rotate no_dump
 #
 # the rune's spot, occassionally put nasty on the rune
 NSUBST:  O = O / o
@@ -408,7 +408,7 @@ ENDMAP
 NAME:    hall_of_blades
 PLACE:   Blade
 ORIENT:  north
-TAGS:    no_rotate
+TAGS:    no_rotate no_dump
 MONS:    dancing weapon
 SHUFFLE: cv
 MAP
diff --git a/crawl-ref/source/dat/zot.des b/crawl-ref/source/dat/zot.des
index 8a8329cc40..a416dd2543 100644
--- a/crawl-ref/source/dat/zot.des
+++ b/crawl-ref/source/dat/zot.des
@@ -330,6 +330,7 @@ ENDMAP
 NAME:       hall_of_Zot
 PLACE:      Zot:5
 ORIENT:     north
+TAGS:       no_dump
 LFLAGS:     no_tele_control
 MARKER:     Z = lua:item_pickup_change_flags { \
                 level_flags="!no_tele_control", item="Orb of Zot" \
@@ -410,7 +411,7 @@ ENDMAP
 
 NAME:       hall_of_Zot_1
 PLACE:      Zot:1
-TAGS:       transparent
+TAGS:       transparent no_dump
 ORIENT:     float
 LFLOORCOL:  lightgrey
 LROCKCOL:   lightgrey
@@ -422,7 +423,7 @@ ENDMAP
 
 NAME:       hall_of_Zot_2
 PLACE:      Zot:2
-TAGS:       transparent
+TAGS:       transparent no_dump
 ORIENT:     float
 LFLOORCOL:  lightgrey
 LROCKCOL:   blue
@@ -434,7 +435,7 @@ ENDMAP
 
 NAME:       hall_of_Zot_3
 PLACE:      Zot:3
-TAGS:       transparent
+TAGS:       transparent no_dump
 ORIENT:     float
 LFLOORCOL:  blue
 LROCKCOL:   lightblue
@@ -446,7 +447,7 @@ ENDMAP
 
 NAME:       hall_of_Zot_4
 PLACE:      Zot:4
-TAGS:       transparent
+TAGS:       transparent no_dump
 ORIENT:     float
 LFLOORCOL:  lightblue
 LROCKCOL:   magenta