ports-mgmt/synth: update to 3.15 release (+)

Changelog:

• remove ARM_version_7 function
• Replace portsmon hyperlinks with freshports links
• attempt to fix purge-distfiles on flavored ports
• fix,, take 2
• handle distinfo files with extensions during purge operation
• Fix port directory (dropped origin accidently)

PR: 295627