Updated GPGTools version from 2013.07.31 to 2013.08.06
Merge pull request #907 from elseym/gpgtools

Updated GPGTools version from 2013.07.31 to 2013.08.06