remove redundent components
fix bugs left by Commander
fix inputMethod component/command naming clash
refactor lib/agda-mode.coffee
better logging
restore cursor position when needed
remove legacy code