[GIT PULL] Android updates

[Kevin Cernekee]

This covers the following items:

 - Correct a minor memory leak when retrying empty PKCS#12 passwords
(not an Android-specific fix).

 - Let Java callers alter the log level while the connection is up.  A
less-verbose loglevel allows progress_cb() to skip making calls back
into Java on every packet (which is good) but sometimes it is useful to
turn up verbosity for debugging.

 - Script the Android tarball download procedure, such that if a project's
main site is broken, it will fall back to a mirror.  I have seen sporadic
CI build failures on android/ due to network/site flakiness, and today
gmplib.org has been particularly unreliable.

 - Update Android to the latest stable GnuTLS / OpenSSL.


The following changes since commit 0a0fce4672a09fa5354a642ad98263c99ccc8e76:

  gnutls: fix spelling of GNUTLS_E_PREMATURE_TERMINATION (2014-04-18 20:14:14 +0100)

are available in the git repository at:

  git://github.com/cernekee/openconnect android-20140426

for you to fetch changes up to bfd89d3495db02abe82d52f8eafacb474807ff0c:

  android: Update to GnuTLS 3.2.13 (2014-04-26 18:18:31 -0700)

----------------------------------------------------------------
Kevin Cernekee (8):
      gnutls: Fix minor memory leak when trying blank passwords
      jni: Change cancelLock so it can be used from native code
      jni: Allow other threads to call setLogLevel()
      android: Introduce new "mirror fetcher" shell script
      android: Introduce $(FOO_TAR) variables for each dependency
      android: Add "make mirror-test" target
      android: Update openssl to 1.0.1g
      android: Update to GnuTLS 3.2.13

 ...001-Check-DTLS_BAD_VER-for-version-number.patch |   31 ---
 android/Makefile                                   |  100 +++++---
 android/fetch.sh                                   |  238 ++++++++++++++++++++
 gnutls.c                                           |    2 +-
 .../infradead/libopenconnect/LibOpenConnect.java   |    8 +-
 jni.c                                              |   29 ++-
 6 files changed, 339 insertions(+), 69 deletions(-)
 delete mode 100644 android/0001-Check-DTLS_BAD_VER-for-version-number.patch
 create mode 100755 android/fetch.sh
-- 
1.7.9.5