Documentation edits

- added PHP extensions
- added which user can access the deployment keys for private Git repositories