Switch to new (customised) solarized-theme package

This package ignores the color-theme dependencies of the old one, and
additionally uses my ANSI-term support changes.