Category Structure for SV-COMP 2021

[MartinSpiessl]

Please add other open points about the category structure for this year's SV-COMP to this issue once they surface.

• Juliet Tasks:
  From last year (Category Structure for SV-COMP 2020 #819) we still have to decide if (Juliet tasks do not have a license #1018) and how to integrate the Juliet tasks. In the community meeting we discussed having at least a subset of them in this year's competition. So if integrating the whole set (Integrate all Juliet benchmarks and implement non c99 functions #1006) is too much work we could at least pick a meaningful subset that is already compatible with SV-COMP rules. This would also give us some insights into how useful these tasks are for SV-COMP in general