add redis php extension for travis build