Add post-processing hook for Agda that byte-compiles the elisp files.