Rich formatting in Contest Discussion

Contest Discussion now has formatting controls that allow links and basic HTML. This way, we can better share search techniques during the contest.