[Jenkins] allow overriding certain config from envvars

docker/Jenkinsfile

@@ -8,7 +8,7 @@ pipeline {
         VIVADO_PATH='/opt/Xilinx/Vivado/2019.1'
         DOCKER_TAG='finn_ci:$BUILD_ID'
         DOCKER_INST_NAME='finn_ci_$BUILD_ID'
-        BUILD_PATH='/tmp/finn_ci'
+        BUILD_PATH='/tmp/finn_ci_$BUILD_ID'
         VIVADO_IP_CACHE='$BUILD_PATH/vivado_ip_cache'
         DOCKER_CMD="source /root/.bashrc; python setup.py test --addopts '-k test_compilation_trafo'"
     }

docker/launch-jenkins.sh

 #!/bin/bash
 
+JENKINS_USER ?= jenkins
+JENKINS_PORT ?= 8080
+JENKINS_HOME ?= $(pwd)/jenkins_home
+
+mkdir -p $JENKINS_HOME
+
 docker build -t finn_jenkins -f Dockerfile.jenkins .
-docker run -p 8080:8080 -p 50000:50000 -v /var/run/docker.sock:/var/run/docker.sock -v jenkins_home:/var/jenkins_home finn_jenkins
+docker run -u $JENKINS_USER -p $JENKINS_PORT:8080 -v /var/run/docker.sock:/var/run/docker.sock -v $JENKINS_HOME:/var/jenkins_home finn_jenkins