[DOC] Fixing links to large files in ftp.seqan.de.

Fixes #675