Dumping system reworked somewhat. No files are compiled during normal Roxen startup any more. Shaved .5 seconds of boot time on lain (now down to 0.9 seconds) Rev: server/base_server/configuration.pike:1.399 Rev: server/base_server/fonts.pike:1.65 Rev: server/base_server/roxen.pike:1.582 Rev: server/etc/roxen_master.pike:1.108 Rev: server/languages/catala.pike:1.10 Rev: server/languages/croatian.pike:1.10 Rev: server/languages/czech.pike:1.16 Rev: server/languages/dutch.pike:1.9 Rev: server/languages/english.pike:1.13 Rev: server/languages/finnish.pike:1.8 Rev: server/languages/french.pike:1.11 Rev: server/languages/german.pike:1.10 Rev: server/languages/hungarian.pike:1.6 Rev: server/languages/italian.pike:1.12 Rev: server/languages/japanese.pike:1.17 Rev: server/languages/maori.pike:1.8 Rev: server/languages/norwegian.pike:1.9 Rev: server/languages/polish.pike:1.7 Rev: server/languages/portuguese.pike:1.10 Rev: server/languages/russian.pike:1.8 Rev: server/languages/serbian.pike:1.9 Rev: server/languages/slovenian.pike:1.15 Rev: server/languages/spanish.pike:1.9 Rev: server/languages/swedish.pike:1.16