Added TomDoc to the banner list of markup formats.

Fixes #214