Gravatar support in user profile

Extension of #33 (closed).

User profile page should get a Use Gravatar button that tries to fetch the avatar from that service, on demand, and mark it as "customised" so that it doesn't get overwritten by an IdP avatar.