Document PHP extensions

This PR updates the docs to list which extensions are being built and how.