Initial set-up

Add link to Plugin build #***

• Sarif report + Problems view
• Cancellation of generation (with Generate / Generate & Run)
• Java docs styles
• Sandboxing
• Logging
• Hanging test timeout, check with Fuzzing/Symbolic
• Overflows, check Summaries
• Context estimator, check nightly runs
• Bugs list