isl_printer_print_ast_node: fix printing of mark nodes in isl format