ignore default.nix by default
update emacs Cask file
Add solarized-light to safe themes
emacs: Change ghc-server URL in checker definition
Cleanup emacs config