Adapted VC encodings to newest clingo syntax.

Also adapted test_optval scripts to new D-FLAT output.