Feature request: users name rather than id

[karye]

When cloning student’s assignment repository the naming of the folders is "assignementname-userid". It would be most useful to have "assignementname-username" since the userid:s can be quite cryptic. Resulting in 30 folder-repos you wonder whose their are.