add exec-path-from-shell
add Agda
rm eldoc cider (NEED cider-nrepl 0.8.0coming out)