* h_visualization/treemap.ml: estet
* h_visualization/treemap.mli: misc
* code_map/async.ml: with_lock rename
* code_map/draw_microlevel.ml: estet
* code_map/cairo_helpers.ml: estet
* code_map/draw_microlevel.ml: remove dead code
* code_map/draw_microlevel.ml: glyphs_of_file
* code_map/draw_microlevel.ml: using glyph_of_file!
* code_map/draw_microlevel.ml: simplify
* code_map/draw_microlevel.ml: store glyphs
* code_map/view2.ml: estet
* code_map/view_overlays.ml: cleanup