Allow specifying of extension version.

[notxarb]

The redis 4.0 extension breaks compatibility with previous versions of the extension. It would be ideal if the engine would allow specifying the redis extension like redis-4.0 or redis-3.1. It currently breaks the generation of the php.ini as it can't find a file for the extension named redis-4.0.so in the extension folder.