Adds a new theme 'solarizeddark' based on nightly

A new theme with solarized dark colors is added. Works well with the pygments theme with the same name.