Use System alias more consistently
Additional experiments with timings, mods to includes resolution
Changes to file locator, plus to various stats for corpus
Merge branch 'master' of github.com:cwi-swat/php-analysis