A simple multi-node REST API for controlling GPIO pins on one or more Raspberry Pis