Introduce Olympics insight, based on user's mentions of Olympic themes.

Is presently only searching the past week's posts, but is otherwise acceptable. Also amends the insights stream to only show bold formatting on the titles of high emphasis insights.