Show OTT taxon id next to other source taxonomies.

Fixes #442. (This mosty revives old code that was commented out, because we originally thought OTT identifiers would not be interesting to the site's users.)