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.

Before this change only modifications and additions would be reflected on the git commit.  File deletions would be ignored.