CBMC: report "OUT OF MEMORY" instead of generic ERROR(6)
CBMC: report "OUT OF MEMORY" instead of generic ERROR(6)

Out-of-memory is reported and can be detected; this had always been the
case for the XML output, now it's done for plain-text output as well.

Also fixes a missing newline character in invalid-arguments cases.

sosy-lab/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,dbeyer/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec