DOC improve intro to Git in the developers' documentation

Link to Git website where Git Pro is listed, along with lots of other
good tutorials (the Community Book, Git for Computer Scientists).