Improve the formatting of the generated code

[sonmarcho]

trafficstars

The formatting of some code blocks is not always pretty and in particular indentation is sometimes weird (for instance, the indentation of the do ... blocks in Lean). Also, it would probably be better to use the PPrint module.