Implement mixed-mode VC pin (and some fixes)

See #1868 for context. Thanks a lot for the idea !
Also sets automatic VC pinning on `opam pin add <dir>` again