runme: adjuct paths for new setup

we have new directory hirearchy in symbiotic, so let's
work with it.

Signed-off-by: Marek Chalupa <mchalupa@mail.muni.cz>
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
runme: set PATH

We have opt, clang etc. in distribution, so use them.