How to clone a git repo using Jenkinsfile