Use travis-ci redis php extension