Git diff now compares with origin/master

This handles the case in which master is not updated (as on Jenkins)