Mlw_printer should print source locations
The current mlw_printer never prints the source locations. This should be done, and in a careful manner for identifiers: source locations and indeed attributes should be printed only when such an identifier is in the position of a binder.