simplify redis extension installation on travis