Specify arbitrary options on the command line

This introduces two new command line options, -extra-opt-first and
-extra-opt-last, which make crawl think that the specified options were
(respectively) at the start and end of the options file.  For example:

    crawl -extra-opt-last wiz_mode=yes

The two options can be used multiple times to specify multiple options.

1 files changed, 3 insertions, 0 deletions

diff --git a/crawl-ref/source/initfile.h b/crawl-ref/source/initfile.h
index acc5b27111..84e29ffe5c 100644
--- a/crawl-ref/source/initfile.h
+++ b/crawl-ref/source/initfile.h
@@ -74,6 +74,9 @@ public:
 
     std::string arena_teams;
 
+    std::vector<std::string> extra_opts_first;
+    std::vector<std::string> extra_opts_last;
+
 public:
     void add_rcdir(const std::string &dir);
 };