Simple REST service for the access of the GPIO pins of the raspberry pi.