remove auctex from default; add color-theme-solarized to el-get list