svc13: add some header files

Add extra header files that are not dependend on system.
When some system is missing these files, we'll use our own headers,
so that symbiotic can work.
don't include /usr/include/assert.h

Let clang find the best assert.h in the path
return ERROR on symbiotic error
add VERIFIER_error

replace VERIFIER_error by assert
Due to new rules of sv-comp
versions: install file with version of svc scripts