Added Backends and Formats jsons
Separated compilation from instance generation
Implemented multiple output formats
Minor fixes
Polling in Control view and run/stop IG commands
Fixed the flow: compilation - instantiation
Implemented dynamic control buttons interfaces
Parsing of custom operations
Tested abstract IG interaction
First ClaferIG integration completed
Tested IG. Fixed bugs. Aloy IG works properly.
Tested IG. Fixed bugs. Alloy IG works properly
Configured and tested ClaferChocoIG.
Rearranged views. Fixed bugs. Added scope field
Implemented UI interaction for scopes
Fixed printing bug
Implemented sending scope commands
Set up and tested ChocoIG
Fixed unnecessary scrolling to the end
Renamed headings