Improve opam

the depopts things are a bit crazy ... we should have virtual packages instead!