Use opam local switch

[na4zagin3]

According smorimoto, opam local switch is available (but not well-documented), which is what I wanted.

[na4zagin3]

In my local environment, SATySFi does not build at a local OPAM switch. I reported gfngfn/SATySFi#272