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
Minor changes to for use of libs in script resolution (for consistency, should not matter in practice)
merged cwi branch