improve a printer of debug information
Merge branch 'dupfun' of https://github.com/tokunomaddojp/ocaml into dupfun

Conflicts:
	driver/rename_ident.ml