Replace official solarized theme with base16-solarized.