JSON Schema: Change type of testsCompleted from number to integer

[jpgsmits]

Currently in the JSON schema mutants have a property testsCompleted which tracks how many test cases were executed when trying to kill that mutant. Currently in the schema it is saved as a number, but that should be integer, since you can't execute half a test.

[nicojs]

Thanks, and good point. Technically a breaking change, but I don't think it should be a major version, agree @hugo-vrijswijk, @richardwerkman @rouke-broersma ?

You want to make the PR, @JSmits-utwente ?

[rouke-broersma]

There is probably no one that relies on it being a number instead of an integer. If someone actually breaks due to this change then I wanna meet them and ask them what the hell they're doing.

[hugo-vrijswijk]

Yeah I agree. I think in metrics-scala it's already an Int

[hugo-vrijswijk]

@JSmits-utwente there might be multiple places where number is used and we actually meant integer

[jpgsmits]

I'll be sure to check for other odd type choices