Start work on device editing GUI
More devices GUI stuff
In monitors class, use devlink instead of dev name. Also, changing device name now works.
GUI: device deletion
GUI: connecting and disconnecting inputs
GUI: editing device output connections
"Monitored" checkbox in device editing GUI
Device editing GUI fully working, code needs a bit of tidying though
Split up device editing GUI a bit
Add "Clear circuit" menu item, fix crash in device editing GUI when no devices exist
Update dependencies in makefile
Merge branch 'gui-devices'
Merge remote branch 'origin/master'