#53 Mention usernames

To mention another gin user it is currently necessary to find the corresponding user profile and copy the username. It would be much more convenient and less error prone if the user name would be suggested while typing the mention, eg. as implemented by github.