* main_spatch.ml: comment
Merge branch 'master' of github.com:facebook/pfff
Common.filename_without_leading_path -> Common.readable and prepare
for change to all_entities
* main_codemap.ml: filter irrelevant files in completion