bump to version code 5 name 0.3.1
updated Google Play description (4000 char limit)
commit Google Play ChangeLog
CreateKey and ReceiveKey use keyserver from app settings
jenkins-build.sh: set the version code and name based on current date

This will differentiate the debug builds from the normal builds. The debug
builds will never be upgraded by the release builds since the debug builds
will always have a much larger versionCode.  Also, the date it was built
will show up in the version string, making it easier to identify debug
builds versus release builds.
"Delete Keys" from the Public Keys tab's ActionBar

This allows the user to delete keys selected in the Public Keys tab.
dismiss install dialog if user navigates away

This dismisses the install progress dialog if the user navigates away while
the install is in process.  Otherwise, there will be a crash when the
install is complete and it tries to dismiss the dialog.

fixes #3058 https://dev.guardianproject.info/issues/3058
re-hook up test script in DebugLogActivity

I forgot to do this when I removed run-tests-with-password.sh.
update to latest gpgme to use new fixed path option

Things are changing in gpgme, on platforms where PATH is used, gpgme is now
using PATH to find the tools it needs. This is a no go on Android, so there
is a new option for setting a fixed path to look for the GnuPG utils.