[x220] use an aggregated version of texlive
[x220] removed environment for dwb
[haskell-mode] do not use cabal-dev
[agda-mode] use a more recent standard library
[emacs] enable agda-mode
[htop] updated config