add a Jenkinsfile

(cherry picked from commit fd0f531741a1e9cc4d5a1e3980d892fefe0420d0)
1 file changed