agda-mode:quit menu & syntax deactivation
move handler logic to agda-mode:activate, simplify method naming