dose: patch to give OPAM more control over processes
Merge pull request #2403 from AltGr/opam-dose-control

dose: patch to give OPAM more control over processes