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

• Control the port scan environment (#212)
• Adjust umount to prevent ccache directory from getting wiped out (#199)

Release notes: https://github.com/jrmarino/synth/releases/tag/v2.13