Puppet configuration of inginea server