add Agda
rm eldoc cider (NEED cider-nrepl 0.8.0coming out)
add common lisp
eww
fix agda mode
fix func
add highlight function