Prepared for discover and Agda modes.
Cleaned up .emacs and updated Cask file