Using Jenkins to build a Docker image