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