move package management stuff to the top
add HoTT-Agda to agda library path
updates to haskell-mode
Merge branch 'master' of github.com:byorgey/dotfiles