Update git-push-https to delete files as well

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