Port the custom gtkrc handling to the new CSS-based theming

The customization is now done by putting CSS statements in a gtk.css
file. This file must be loaded after GTK is initialized, because we need
the default GDK screen.

Rename the two related command-line option to no-gtkcss and
debug-gtkcss, and add a description for debug-gtkcss.