Refactor the mentions field for the Post table.

[purifetchi]

For now we store redundant informations in the UserMention field in the Post table. It actually takes up a ton of space and would only pose problems the bigger the database grows.

We should instead just store the IDs of the users we've mentioned, a'la the Emoji field, and then fetch all of them in bulk when rendering the status.