Changelog

All changes and updates made to Gringo since release.