Usage of latest version of Kiama library, in particular to make pretty-printing use much less stack.
Usage of latest version of Kiama library, in particular to make pretty-printing use much less stack.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors