Analyzers names changed to the SVComp like names.
Added testing and parsing script.

added analyzers:
BLAST, CBMC, CPAchecker, LLBMC
edited:
Predator