* main_codemap.ml: do heavy computation in another process
* code_map/parsing2.ml: highlight defs/uses of global extern and proto,
and also rewrite their categ to show number of users