update docs: phpsh is no longer included, use hhvmsh instead

Change-Id: I47faf620bdd2e3f76ebd94ce079427421157a54d