`wp core install` ignores custom 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`.