--url doesn't set $_SERVER['SERVER_PORT']

I noticed this because I was trying to create a local dev install:

```
wp core install --url=localhost:8001 ...
```

but when I did `wp option get home`, I got back only `http://localhost`.