Puppet: Configuration Management for Dennis Systems