Add pretty-mode, use ghci-ng
Update changes

1. `use-package` can pin a package archive
2. `ensime` use company-mode, wonderful