* code_map/: cleanup, remove old code about minimap, magnifying glass zoom,
and summary mode
* code_map/Visual.tex.nw: syncweb
* code_map/: cleaning
* code_map/view2.ml: more cleaning
* code_map/view_mainmap.ml: more cleanup