CI check for system description

[dde-cls]

Add a CI check that the link given for the system description is reachable.
(to do for SMT-COMP 2026)

[wintered]

Add a CI check to make sure the system description has a .json file ending
(to do for SMT-COMP 2026)