The checkout scripts now perform an explicit `git pull` in case the user asked

for a branch to be checked out. To properly update to the latest version of
the repository, in case it was updated.


Former-commit-id: f2596d8f