[portralis] options menu, defaults.

[Irashtar]

How do I change the default options in Portralis? There's no way to dump the options to a file, so every new game, I'm back there again, turning off autopickup, and searching in vain for the somehow missing auto center player.