setup-ubuntu.sh: Install libgnutls-dev