updates from mirleft-0.2 upstream now in opam
use conflicts instead of version constraints in depopts
Merge pull request #35 from hannesm/mirleft-updates

updates from mirleft-0.2 upstream now in opam