Add HTTPS transport for Kerberos traffic.

krb5.conf syntax is now `kdc =
[(tcp|udp|http|https)]://<addr.of.kdc>[:<port>][/<page>]` with the
understanding that page will be ignored if the protocol is not HTTP or HTTPS.