symbiotic: use compiled instrumentation libraries if present
symbiotic: use compiled instrumentation libraries if present

if we have present instrumentation files as .bc files,
use those. This way we avoid compilation in cases where
the compilation may fail due to missing header files
(in unknown environment, like SV-COMP environ. or so)

Signed-off-by: mchalupa <b10e113ac36de0a194e1c1a71340ff6b6b99ebfb@mail.muni.cz>

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic