run-windows.bat

Make it easier to restart from ending.