Add an entry to the Ports-specific FAQ describing what to do when a
distfile changes without a version change (with some help by Dima).

Reviewed by: dd