RGBA widget now includes a color swatch.
User colors are again picked from a hand-chosen list and are persisted.
Cherry-picked b4c0bdb81b from graph-betweenness branch: "Now managing users in centralized User objects."