Added Glr_parser.Make.string_of_transition_table, for debugging/display.