A methof print_points is added for ConstraintsSystem to print its poly's generators into different .out files.