Update the release notes for the last change in the reflection API
MAlonzo: implement primShowQName
Merge branch 'master' of github.com:agda/agda