The intermediate directory to use for the Coverity tools. If left empty, the intermediate directory will be put below the Jenkins home (on master) or the slave root directory (on a slave).