3. Merge info from https://trac.sagemath.org/#AccountNamesMappedtoRealNames into https://github.com/sagemath/website/blob/master/conf/contributors.xml; note that Trac 1.2 displays real names anyway (for users with legacy accounts, not "gh-" accounts).This is partially scriptable. Note that this list contains at least some accounts of users who have not interacted on any tickets; those should probably not be added to the contributors list.