[DOC] Removing links to trac.seqan.de.

Fixes #691