Add puppet stuff for debian