Puppet configuration module for Debian-style interfaces files