frankenphp

update docs for rpm packages and extension availability

#1988

Merged