upgrade to gringo 4.4.0 and clasp 3.1.0
fix script
update
Merge branch 'gringo440clasp310' of https://github.com/hexhex/core into gringo440clasp310