Machine-digestible pin information for the Raspberry Pi