Stop using python-gnutls. Use GnuTLS 3.3 or later directly.
* INSTALL: Document dependency on GnuTLS 3.3 and remove dependency on Python-GnuTLS.
* debian/control (Source: mandos/Build-Depends): Add (>= 3.3.0) to "libgnutls28-dev" and "gnutls-dev". (Source: mandos/Build-Depends-Indep): Remove "python2.7-gnutls". (Package: mandos/Depends): Remove "python-gnutls" and "python2.7-gnutls", add "libgnutls28-dev (>= 3.3.0) | libgnutls30 (>= 3.3.0)" * mandos: Remove imports of "gnutls" and all submodules. (GnuTLS, gnutls): New; simulate a "gnutls" module. Change all callers to match new shorter names.