rename User to UserProfile

The first step laid out in my overarching plan to clean up and merge user models (see https://pmt.ccnmtl.columbia.edu/forum/4532/)

This one just renames (on the code side only) `dmt.main.models.User` to `dmt.main.models.UserProfile`, since we'll eventually be using that model as a regular Django UserProfile.