Improvements to Glr_parser.tree_of_prodlist. It now correctly generates the parse tree for 1+1! (it should be fully general though.)