agda-mode for Atom