simplifyVersionRange does not use ^>=

So something nice as
```
^>=4.14.3.0 || ^>=4.15.1.0 || ^>=4.16.4.0 || ^>=4.17.0.0,
```
turns into
```
>=4.14.3.0 && <4.15 || >=4.15.1.0 && <4.16 || >=4.16.4.0 && <4.17 || >=4.17.0.0 && <4.18
```

This is visible on hackage, for example (https://github.com/haskell/hackage-server/issues/1157).

Would it be reasonable to change `simplifyVersionRange` to use the newer syntax?

Or add a variant of the function that can take a flag to indicate which newer syntaxes (e.g. `^>= {…}`) to use?

(The actual code that needs to be touched seems to be `intervalToVersionRange`.)