[FIX] Better options handling. [#457 state:fixed]
Option handling.
Simpler option names.
Merge branch 'dev' of github.com:GPGTools/GPGMail into dev