add python-syntax; switch from jellybeans to solarized