bug#18526: Failure to download from github due to TLS fatal alert

[Ludovic Courtès]

Commit 3de9a59 pushed an update to GnuTLS 3.2.19, which brings the new
‘set-server-name!’ procedure.

Ludo’.