Use real redis on travis-ci