A tool for exporting Raspberry Pi-specific data to Puppet facts