Improvements in the comments' markdown

* Now it also highlights @user
* The comment's author is displayed using user_with_realname_and_icon
* The notification mails about the comment also contain a html multipart with the rendered markdown