Fix github action for windows build

The workflow build.yml still used --without-axtls, which we dropped
from mingw-dist.sh.

Update build.yml, and also we allow (but ignore) the option in mingw-dist.sh
so that the existing scripts won't suddenly fail.

.github/workflows/build.yml

@@ -157,7 +157,7 @@ jobs:
       run: |
         gcc -v
         ./DIST gen
-        src/mingw-dist.sh --without-axtls
+        src/mingw-dist.sh
     - name: Test
       shell: msys2 {0}
       run: |

src/mingw-dist.sh

@@ -56,6 +56,7 @@ while [ "$#" -gt 0 ]; do
     --with-mbedtls) MBEDTLS=yes; shift;;
     --with-mbedtls=dll) MBEDTLS=dll; shift;;
     --with-zip) ZIP_ARCHIVE=yes; shift;;
+    --without-axtls) shift;;    # Ignore this not to reject legacy scripts
     --skip-config) SKIP_CONFIG=yes; shift;;
     -*)
      echo "Options:"