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.

Created by  Matthew Cline  on October 24, 2009
LEE5GXPHL6MES4O3OK7IE75NTFONMY26SPESEACTO35YKQI5L4DQC
Change contents