* tests/ml/visual/patterns.ml: better support for module names
* tests/ml/visual/patterns.ml: highlight parameters
* lang_ml/analyze/visual/highlight_ml.ml: support for pattern fields
* main_scheck.ml: todo
* h_program-lang/Makefile: fix some install-findlib things
* graph_code/graph_code.mli: skeleton basename_to_readable_disambiguator
* lang_ml/analyze/graph_code_cmt.ml: cmt to ml heuristic