Provide how to set up CI server with Docker + Jenkins for puppet