Rename Ruri themes (while waiting for other ones)
Make theme switching (hopefully) orthogonal to settings:

- Move all theme-switching variables in one place
- Per-theme mascot list
There's certainly no node.js inside. It's server-side thing.