Gradint update

git-sync.sh

 #!/bin/bash
 # Sync gradint build environment to Git
+git pull --no-edit
 wget -N http://people.ds.cam.ac.uk/ssb22/gradint/gradint-build.7z || exit 1
 rm -rf gradint # (any leftover ../gradint/gradint directory)
 7z x gradint-build.7z || exit 1