The style-reload command now works with new stylesheets: it fully reloads all settings files, then gets stylesheets with c.config.getData.

At present it makes no distinction between @data stylesheets arising from color themes.  More work and consultation with Terry is needed for themes.

Leo build: 20140916185053
Disabled trace.

Leo build: 20140916185400