SV-COMP run script
Merge branch 'merged_master' of github.com:martinhruska/forester into merged_master