#1031 (Rename "UserProfiles" to UserTypes)

Because it has nothing to do with Django's USER_PROFILE, and because "profile" is actually not the right word. A profile, in general, is a description of a person's life, work, interests. But a user profile in Lino is a set of attributes which results in a given rendering of the linoweb.js file. Currently this means, in first place, a given set of user role, but also some options like the languages to hide and the optional "readonly" mode. Maybe "interface"? Or "class". Or face, mask, appearance, makeup, cast, feature, shape, contour, sketch, ...