Improve the formatting functions

[sonmarcho]

trafficstars

We should improve the formatting functions (in Print.ml for instance). In particular, we should use the Format or PPrint module instead of directly generating string (the indentations and the breaklines we generate are not pretty).