Centralize knowledge of jenkins WORKSPACE dir so we can get rid of it more easily
[#53836505] Allow overriding of /mnt to run BATs locally