Code generation & execution

[ElwinLiu]

• Ability to 'on demand' generate all the other types of outputs such as generated code, formal methods, etc.
• For generated code, ability to have tabs with separate files
• Ability to execute generated code in a Docker image that has no safety issues for arbitrary code and outputs stdout
• If generated code has compilation errors (generally due to embedded Python/Java), display messages