Puppet module for the Cricus process and socket manager