Allow configuring GUI options from command line and environment (fixes #505, closes #507)
Merge pull request #557 from AudriusButkevicius/opts

Allow configuring GUI options from command line and environment (fixes #505, closes #507)