Change `fetchInputGit' to do `git clone -b BRANCH' instead of `git clone'.

Suggested by Vladimír Čunát <vcunat@gmail.com>.

Created by  Ludovic Courtès  on March 10, 2011
UO67NQMRXO2CTWPL4ORKOSX5D3GWQGGY2DRLEOCVHKOI7WCHFWBAC
Change contents