[NEW] Added a tool which automatically adds the new UUIDs if necessary.
Merge branch 'dev' of https://github.com/GPGTools/GPGMail into dev