Pull requests

Mutants can be scoped to a pull request. Each head commit is recorded as a revision, and a MutantHub check on GitHub summarises the mutants on the changed lines.