add 'git pull origin master'

This idea occurred to me, but I never really understood how Jenkins interacts with Scott's "git checkout master," so this idea is for his consideration.