REST Server for the GPIO of the raspberry pi. Based on jetty and jersey.