Bump ports-size from 500 MB to 3 GB

The actual size of the git clone differs a bit, between 1.7 GB
and 2.4 GB, probably depending on filesystem in use; let's try
to be on the safe size.

Reviewed By: ygy
Sponsored By: EPSRC
Differential Revision: https://reviews.freebsd.org/D33911