Add new publications

[michael-schwarz]

In the past few months, some things have been accepted that should be added to the homepage:

• Two(?) abstract debugging papers have been accepted (have appeared?)
• Interactive now has officially appeared: https://link.springer.com/article/10.1007/s10009-024-00768-9
• Long longjmp has appeared: https://link.springer.com/article/10.1007/s10009-024-00764-z=
• C2-PO has been accepted

@stilscher: I don't know if you want to list the CAV paper? The connection with Goblint is a bit strenuous, but that's the case for quite a few things listed.

[michael-schwarz]

C-2PO is at https://dl.acm.org/doi/10.1145/3689609.3689994