[#154 state:fixed] Show GPGTools version installed in GPGPreferences.