* code_map/model2.ml: remove unused field
* code_map/model2.ml: comments
* code_map/model2.ml: reorder parameters, more consistent
code_map/model2.ml: renaming fields
* code_map/model2.ml: move around types
* code_map/draw_macrolevel.ml: estet
* code_map/draw_legend.ml: estet
* code_map/: misc
* code_map/model2.ml: estet
* commons/common.mli: >>=
* code_map/model2.ml: naive find_glyph_at_user_point
* commons/common.ml: find_some
* code_map/view_overlays.ml: token under cursor!
* code_map/model2.ml: use surface for base and overlay, cleaner, like
in code_graph/
* code_map/view2.ml: remove unused parameters
* code_map/view2.ml: more cleaning
code_map: introduce world type, clean all those ugly dw_ref
* code_map/view2.ml: comment
* code_map/view2.ml: remove unused parameter
* main_codemap.ml: passing world, not dw