Distinguish the hostname extension we send from the server_name given by a client.

The latter is used for certificate verification, no matter whether
the server acknowledges the Hostname extension.

Also, the server now sends an empty Hostname extension back, as
specified in RFC4366