we want solarized as theme
ProofGeneral is not always installed
we are not using irc much
install solarized theme