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