instead of the undocumented in progress advanced_make_x_monotone - #include <CGAL/kernel_basic.h> removed (?) - cosmetic