Use redis on travis ci.