Puppet module for dpkg-diverting files