agda-mode:load syntax activation