Make print_scop output the scoplib format.