Enable OCaml solver if $USE_OCAML_SOLVER is set
Added underscore escaping style
Added support for site packages
When a unit-test fails, print out the whole log