First steps to using libgringo and libclasp included in clingo 4.2.1
Proof of concept for lazy evaluation
Fixed bug: 0-ary atoms were not recognized.
Debugger modules are now called printer modules. Added progress report printer.
Updated MSO encoding.
Now allowing multiple ASP encodings to be specified. They will be concatenated.
Fixed lazy ASP.
Fixed clang warning (-O4 being equivalent to -O3) by using -O3 instead of -O4