First draft for the 'redirect' feature

The current implementation is a bit more complex that we first discussed, because it handles any kind of filter as argument of a redirect address. This let us do:

```
redirect: [
   "windows.opam.org" { os = "windows" }
   "old.opam.org"         { opam-version = "1.0" }
]
```

Need testing though.