Add cabal to PATH, add agda-mode to emacs
Change tmux windows style
Display error codes in PS1 of zsh