Removed auto generated files.
Build iclingo app by default, and fixed a bug in CMakeLists.txt.
Change the compiler to clang in order to make it build in Mac.
Revert libclasp to be compatible to iclingo's semantic.
Add basic ivASP support.

Dynamic rules (containing K) are appended with an incremental atom.
Blocks world instances tested.