Pass THEME_CSS_VERSION to client

I noticed that the CSS version isn't bumped up, if the client has a theme setting, because `client/options.js` overrides it. So here's a very lengthy solution~