[Jenkins] create build dir in Dockerfile

docker/Dockerfile.ci

@@ -79,5 +79,7 @@ ENV PYNQSHELL_PATH "/workspace/PYNQ-HelloWorld/boards"
 
 RUN echo "source \$VIVADO_PATH/settings64.sh" >> /root/.bashrc
 RUN echo "PS1='\[\033[1;36m\]\u\[\033[1;31m\]@\[\033[1;32m\]\h:\[\033[1;35m\]\w\[\033[1;31m\]\$\[\033[0m\] '" >>  /root/.bashrc
+RUN mkdir -p /tmp/$FINN_INST_NAME
+RUN mkdir -p $VIVADO_IP_CACHE
 
 WORKDIR /workspace/finn