Use ssl3 when downloading source MonetDB zip

Avoid SSL issues under OS X 10.7 and 10.8