Puppet configuration module for the DICE-T2 clusters. To be replaced with a more general config in the future.