Microsoft-owned GitHub is changing its default project names to avoid slavery-related terms.