Rebrand from XML runner to Karma

It's all it's really being used for; especially as the XML format isn't
documented. We can split this in future if required.