Remove all files newly added in 2d7140 and 7daf8e8a

These files did not exist at the execution time of SV-COMP24, so we do not want them on that branch.