Don't include the port for HTTPS in WT_SERVER_NAME when it's the default of 443
Merge pull request #67 from mnoorenberghe/https_port

Don't include the HTTPS port in WT_SERVER_NAME when it's the default