Analyzers names changed to the SVComp like names.

Added testing and parsing script.

added analyzers:
BLAST, CBMC, CPAchecker, LLBMC
edited:
Predator