Integrate MediaWiki sources in the repo, and fix php5-cli dependency