Elaborate Git instructions for translators

Elaborate Git instructions for translators

* better instructions for cloning the repository in first place: make
distinction between remote tracking branches and local branches, and
setting up remote for less typing when pulling;

* instructions on how to deal with several branches.

This anticipates the amount of extra Git knowledge that translators
will need when 2.12 comes out.