#1297: Added some docs about the maven/git http proxy configuration.