Add REQUIRE to define dependencies among compile time options. Also defines new options USE_TWO_CUTS and EXPLICIT_NORMAL_EDGES which are unused by now.
