added Maxima mode and a note on color-theme-solarized