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.
Update for 4.02.
Update new ocp-browser for 4.02.