WIP: load an options file everywhere to avoid repetition

Note that I didn't yet remove the "Set Default Proof Using" everywhere, this is just trying the general concept. Thanks to @janno for your help!

This fixes #66 (closed).