Implement mixed-mode VC pin

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