Simply return the port for a URL's origin, not its default port

[annevk]

See whatwg/html#870 for why this would be an improvement.

[annevk]

When changing this, the example for "blob" will also need to be fixed. 443 needs to become null.