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