Update the sourceforge mirror

Pick a mirror in us-east, to keep it close to our build machines in us-east1

Note, we use a sticky mirror for unzip, unlike our other sourceforge dependencies, because we frequently get a corrupted package for unzip when sourceforge is in read-only mode for maintenance.

Fixes: #4729 (closed)