PHPUnit code coverage for mediawiki-core

Exclude the usual unit tests groups as well as the Dump group which is
way too slow.

Bug: 31518
Change-Id: Ic521c23e26d28b7e8e117f7d04daf1073e75b625