add support for incremental solving to GringoGrounder and ClaspSolver