Small documentation changes

* Fixing the name of the setup script
  in the documentation

Signed-off-by: Alex Tawse <alex.tawse@arm.com>
Change-Id: Icf588d708164f8fa3ed816b08f9cc8f279a10353