Fix issues in parsing of clingo output and command line options
compile binary 2.37