This adds a batch file to invoke the python configure script on Windows.
This mirrors the script for Linux and macOS (`configure`). This is
needed since Windows does not support shebangs, and will not invoke the
python script as a result without the explicit interpreter.