Add support for Gringo4 (deprecate/remove support for Gringo3)

[ludaesch]

We need to migrate to Gringo4, which unfortunately, has a different syntax than Gringo3.
Such is life.

Let's migrate our reasoning support (ASP instance generation) to use Gringo4 syntax:

http://sourceforge.net/projects/potassco/files/gringo/