add libgnutls-dev as alternative to libgnutls28-dev

This is currently necessary, because some other build-dependency in Ubuntu Utopic still depends on libgnutls-dev.