Updated exception printers
configure: check ocaml version

Previous commits need ocaml >= 3.11.2