upgrade to clasp 3.0.5
some updates in GringoGrounder 4
fix
build clasp with VS 2010
add support for incremental solving to GringoGrounder and ClaspSolver
update ChangeLog
fix a bug
add incremental support to UFS checker
Merge branch 'master' into gringo4
use incremental solving for domain expansion (experimental)