Remove Windows patches from GitHub actions.

Author: Mark R. Tuttle

.github/workflows/vs2019/cbmc-dbghelp.patch

@@ -4,5 +4,6 @@ REM Set up PATH to find Git Bash shell tools
 PATH=%PATH%;"c:\Program Files\Git\usr\bin"
 
 REM Patch CBMC with Visual Studio patches
-patch -p1 < .github\workflows\vs2019\cbmc-install.patch
-patch -p1 < .github\workflows\vs2019\cbmc-dbghelp.patch
+
+REM Currently nothing to patch
+REM patch -p1 < .github\workflows\vs2019\PATCHFILE.patch