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