High-level framework for easy control of multiple devices connected to the Raspberry Pi and Arduino via GPIO