Review of ci-run-bat

Please review - I still need to actually test this on jenkins before it's ready to merge, but it is ready for an initial review now.