remove useless packages (moved to a more specific, logic-oriented opam repo)
Merge pull request #1850 from c-cube/master

remove useless packages (moved to a more specific, logic-oriented opam repo)