Added thorn creation to action

[leventeBajczi]

We have a new tool this year @ SV-COMP, Thorn, which is a portfolio of Theta's HORN-based analyses. This PR adds support for Thorn's binary in the pipeline.

[github-actions]

Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):

task set	BOUNDED	CEGAR	HORN
Arrays	✅ (1 / 0 / 86) HTML/CSV	❓ (0 / 0 / 4) HTML/CSV	✅ (1 / 0 / 53) HTML/CSV
BitVectors	✅ (4 / 0 / 21) HTML/CSV	✅ (5 / 0 / 30) HTML/CSV	✅ (2 / 0 / 30) HTML/CSV
Combinations	❓ (0 / 0 / 39) HTML/CSV	❓ (0 / 0 / 39) HTML/CSV	❓ (0 / 0 / 39) HTML/CSV
Concurrency	❓ (0 / 0 / 114) HTML/CSV	✅ (8 / 0 / 42) HTML/CSV	❓ (0 / 0 / 113) HTML/CSV
ConcurrencySafety-NoOverflows	❓ (0 / 0 / 107) HTML/CSV	✅ (6 / 0 / 35) HTML/CSV	❓ (0 / 0 / 108) HTML/CSV
ControlFlow	✅ (3 / 0 / 32) HTML/CSV	✅ (2 / 0 / 54) HTML/CSV	❗ (31 / 17 / 66) HTML/CSV
ECA	❓ (0 / 0 / 36) HTML/CSV	❓ (0 / 0 / 36) HTML/CSV	❓ (0 / 0 / 36) HTML/CSV
Floats	❓ (0 / 0 / 17) HTML/CSV	✅ (7 / 0 / 22) HTML/CSV	❓ (0 / 0 / 34) HTML/CSV
Hardware	❓ (0 / 0 / 29) HTML/CSV	✅ (1 / 0 / 17) HTML/CSV	❓ (0 / 0 / 28) HTML/CSV
Heap	✅ (9 / 0 / 111) HTML/CSV	✅ (40 / 0 / 94) HTML/CSV	❗ (9 / 2 / 111) HTML/CSV
Loops	✅ (12 / 0 / 50) HTML/CSV	✅ (1 / 0 / 7) HTML/CSV	✅ (24 / 0 / 68) HTML/CSV
NoDataRace	❓ (0 / 0 / 116) HTML/CSV	✅ (27 / 0 / 50) HTML/CSV	❓ (0 / 0 / 116) HTML/CSV
ProductLines	❓ (0 / 0 / 316) HTML/CSV	❓ (0 / 0 / 319) HTML/CSV	❓ (0 / 0 / 317) HTML/CSV
Recursive	❓ (0 / 0 / 153) HTML/CSV	✅ (7 / 0 / 36) HTML/CSV	❓ (0 / 0 / 153) HTML/CSV
Sequentialized	✅ (2 / 0 / 30) HTML/CSV	✅ (2 / 0 / 31) HTML/CSV	✅ (3 / 0 / 30) HTML/CSV
XCSP	❓ (0 / 0 / 19) HTML/CSV	❓ (0 / 0 / 19) HTML/CSV	❓ (0 / 0 / 19) HTML/CSV

[AdamZsofi]

Looks good. Happy to have the --svcomp flag instead of having to use 6 other flags.