* code_map/view_mainmap.ml: require shift to get contextual menu
* demos/php_transducer.ml:
* demos/simple_metrics.ml: