infra/download_source: update the steps for installing repo

The repo tool, when installed using package manager, could install an
older version of the repo tool. So point to the manual steps for
installing the repo tool.

Signed-off-by: Thomas Abraham <thomas.abraham@arm.com>
Change-Id: I56dd4f85d8f113ce683de1737afdb02225821f7a