Byte-compile Agda's elisp files