use puppet to manage /etc/hosts