SSH has no Host header: virtual hosting based on user public keys