Merge branch 'pretty-print'

This branch reworks the pretty-printing infrastructure. This allows to give
the printer of log messages more control on format's boxes (which is necessary
for proper display).