Existing update_suite.rb features

[sim642]

• Expected verdict checking for assertions.
• Expected verdict checking for races.
• Expected verdict checking for any warning.
• Expected verdict checking for termination.
• Fixpoint not reached output checking.
• Parallel execution.
• Marshaling testing: save_run, load_run.
• Basic incremental testing: incremental.save, patch, incremental.load.
• Execute all non-skipped tests.
• Execute all tests in group (including skipped, a non-feature).
• Execute test by test name (must be unique across groups!).
• Test number duplication checking.
• Skipping tests with SKIP.
• Adding arguments with PARAM.
• Skipping tests from marshaling with NOMARSHAL.
• Download linux-headers using Goblint makefile for Linux kernel tests.
• Some HTML generation (not sure if used by anyone).

May be incomplete. To be decided, which we maybe want to exclude.