* commons/common.mli: map_opt
* configure: less output, better output
* web/code_map/server_codemap_parsing.ml: CEs