Puppet module to manage Debian network interfaces configuration file