A Raspberry Pi server that provides a RESTful interface to the GPIO pins