biology/platon: fix fetching
Add working mirror.
Also update file size in distinfo - checksum is not changed
and I dunno why. But with old file size it warns that expected
size was different.
PR: 204491
Submitted by: Walter Schwarzenfeld <w.litter@aon.at>