SV-COMP archive.sh does not fail when `chrpath` is missing

The `archive.sh` script continues as if nothing went wrong if an error is encountered.