Issue1244: Command to display Agda version in Emacs