Use --progress only when it's supported

This option is relatively new in 1.7.1.
See
http://stackoverflow.com/questions/21735978/jenkins-git-fetch-fails-with-unknown-option-progress
for the detective work
Merge commit '24903f5ef3d0e1cb659e605196828ce702b10b05' into HEAD