Add an option to generate a WorldOption.sav file automatically in (mostly) bash#380

Closed

sonroyaalmerol wants to merge 12 commits intothijsvanloef:mainfrom sonroyaalmerol:generate-worldoptions-bash

+540-1