Add extra solve options

[wolfv]

uv has some nice solver options:

• --exclude-newer (compare timestamps and exclude packages that were published after some date)
• --override to override some dependencies (basically a way of locally "repodata patching")

[baszalmstra]

exclude_newer has been implemented in #654

[baszalmstra]

@wolfv What do you think should be the input for --override? What would it look like in code?

[wolfv]

I am thinking something like HashMap<MatchSpec, MatchSpec>.

So that you can do something like:

jupyterlab 3.3.*: python ==3.10

And this would replace all dependencies with name python of any jupyterlab 3.3.* with the specified one.

It's relatively broad but I think people should be able to make it specific enough for their use cases.