Options can now be set from a file. Fixes #24