SV-COMP Evaluation scripts and Web application