added some package for emacs
remove local agda-mode files
fix and improve my agda-mode