Puppet module for Pacemaker, an a high availability resource manager