A Puppet module for managing ksplice