Add ability to mention users using their username

[mathjazz]

As part of the redesigned profile page, we've introduced usernames.

We should make use of them in user mentions in comments.