Chef cookbook to configure a Raspberry Pi from scratch