Pete Lomas, Raspberry Pi