Theme randomization on site install

To avoid the current situation, where all sites look exactly the same, we should randomize the theme settings when the site is installed. Randomization of color is immediately possible, while fonts, headers, and borders will require development.