Git diff now compares with origin/master, to handle the case
in which local master is not updated (as on Jenkins)
Merge pull request #7 from edx/will/diff-with-origin

Git diff now compares with origin/master