hkps port

[David Shaw]

After some pondering about the proper port for hkps, I think that 443  
makes the most sense (in other words, use the same port number as  
https).  The reality is that there was never a particular reason why  
regular hkp needed to be on port 11371.  The protocol is really http,  
and may as well have lived on the proper http port.  I don't see a  
reason to repeat this for hkps, so in the interest of simplicity, 443  
seems to be the best choice.

David