* data/php_stdlib/: more stuff
* main_codegraph.ml: -dots_threshold settable