Minor cleanups in init.el
Use solarized-dark theme