Will/jenkins diff cover

This PR updates `diff-cover` version 0.1.1, which uses `git diff origin/master...HEAD` instead of `git diff master...HEAD`.  Since the local `master` branch is not always current in Jenkins, this ensures that we're comparing to the most recent version of `master`.

Suggested reviewers: @jzoldak @cpennington