Add more fine-grained string tokens to the themes

And update the midnight theme to use them.

So far, String.Single and String.Double do not work, but I think this is
a bug in pygments (see
https://bitbucket.org/birkenfeld/pygments-main/issue/685).  So hopefully
they fill fix it and it will start working :)