Library for interfacing from a Raspberry Pi to an Arduino interface