A Docker-based Puppet Master