Use Docker Hub mirror registry to avoid hitting the pull limit (#516)

* Use dockerhub mirror registry

* Restore the use of buildkit

* Remove docker info

.jenkins/Jenkinsfile

@@ -27,6 +27,12 @@ pipeline {
         stage("Prepare environment") {
             steps {
                 step([$class: "WsCleanup"])
+                sh """sudo bash -c 'cat << EOF > /etc/docker/daemon.json
+{
+    \"registry-mirrors\":[\"https://mirror.registry.opennetworking.org\"]
+}
+EOF'"""
+                sh "sudo systemctl restart docker"
                 gitCheckout(GITHUB_URL, commitHash)
                 dockerLogins()
                 //Set JDK 11