tedsluis/jenkins

Jenkins pipeline configuration