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

added analyzers:
BLAST, CBMC, CPAchecker, LLBMC
edited:
Predator
Merge pull request #3 from Shootervm/master

Analyzers names changed to the SVComp like names.