Preinstall redis extension for PHP.

Fixes #254.