Updated article about Chef server on Raspberry Pi