scripts: add parser for sv-comp results

This is just a skeleton that I created on my laptop. The rest of the
work must be done on arran, so I'll commit this to pull it on arran.