Byte-compile Agda's elisp files
Merge pull request #1846 from klao/agda-mode

Byte-compile Agda's elisp files