Git ignore cask files
Use solarized-dark-theme as default theme