A C++ library for controlling the Raspberry Pi GPIO header pins