For #721, add the numbers in front of tweets if show_ids is enabled. Left to do: Document the feature and allow using the numbers in rt/replies.