Removed code related to the mentions plugin as obsolete

Thanks to the Elgg 1.9 notifications system, we don't have to process mentions manually anymore.