Access the Raspberry Pi's GPIO pins through RESTful JSON and Socket.io