Update contribute.md

add mention of git config proxy, in order to avoid errors such fatal: unable to access 'https://github.com/ceylon/ceylon-dist.git/': Failed connect to github.com:443
Merge pull request #289 from gabriel-mirea/patch-1

Update contribute.md