removed agda config and plugins for now, better use JUST EMACS