REST API for interacting with GPIO pins on Raspberry Pi.