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

This also fixes including the port when https is over port 80 (uncommon).

I tested the following 4 combinations:
1. HTTP over port 80
2. HTTPS over port 443
3. HTTP over port 8080
4. HTTPS over port 8081