Introduction to jenkinsfile – Build docker images and push into docker hub