Issue 1244: implement command to display the version of the running Agda
Issue 1244: Release notes
Merge pull request #10 from fredrikNordvallForsberg/issue1244

Issue1244: Command to display Agda version in Emacs