re2c: fix download location
gringo: version bump to 4.0