updated 02_jenkins/Dockerfile: default port: 8090