Document how to tweak `php.ini`

[rodber]

There are some ENV that can be used to tweak php.ini, but it also requires a way to enable users to add their own config (mounting).