[doc] Update documentation

* gerrit --> Gerrit
** See https://www.gerritcodereview.com/
* pypy --> PyPy
** See https://www.pypy.org/
* Update redirected URLs
* Use capital letters consistently

Change-Id: Iebd623a91fd89b870ded4a68d3e75e198cbe3622