Delete colored_point.ml