add use-docker-jenkins-to-run-github-tests