emacs: add agda mode
don't use top. especially red one
move to xfce, many changes