A Puppet module for managing the checkrestart tool