Do a git pull before vagrant halt because ops think we should halt Vagrant only with the latest version