use canonical project names

we can distinguish different projects and associate them with student IDs by their GitHub projects