Revert commit 13120 (Violated specification: One line for each property that is violated.)
in agreement with its author.

The author id of the commit was wrong,
and there were also a few things that need to be fixed,
like the broken integration in our benchmark script).


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13132 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c