Changelog for Agda-2.6.1.1

Release notes for Agda version 2.6.1.1