emacs: don't have Jeff's laptop anymore
.emacs: Agda libraries and customization
.emacs: try structured-haskell-mode
.ghci:  .: operator for times
.xmonad: various recent updates
.szh_env: export $STOW