Use Lterm_text.make_formatter.
Restrict lambda-term versions in opam file.
Replace the height function by a size function.
Print help when Alt+h is pressed.