Tweak two python setups; add solarized theme