* web/code_map/view_overlays_codemap.ml: draw selected rectangles
and also optimize a bit