Cobertura version bump to 2.5.1