#645: ungrouped views user config setting

This addresses #645: `grouped views` is now `ungrouped views`, and the default for all views is grouped. I think it preserves the intended `collapsed families` visualisation behaviour, as a modification to `group all`.

@hjoliver, what do you think?