Added stub batch file for Jenkins CI on Windows.