Deploy default theme, by default, not Stanford

We would like the community to adopt the "default" theme, as the
starting point for theme development, as opposed to the "Stanford"
theme, which carries our branding.