remove deprecated User.sourcegraphID field, add User.databaseID
Created by: sqs
This field still should only be used for internal purposes, but it's not necessary to deprecate it because the name is not misleading anymore.
Created by: sqs
This field still should only be used for internal purposes, but it's not necessary to deprecate it because the name is not misleading anymore.