SV-COMP README: add descriptions for all witness-related flags
SV-COMP README: add descriptions for all witness-related flags

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer