emacs: update agda stdlib location