A server for the Raspberry Pi with access to the digital GPIO pins via RESTful JSON and Socket.io