[nixos] installed gitFull instead of git
[xmonad] some cleanup
[emacs] activate agda