clean up FourierMotzkin, OmegaTest, Cooper, CAD, ContiTraverso modules