git-push-https now uses robocopy mirror

Update to use /MIRror switch so that it also deletes files that have been removed from the deployment.