travis: use redis service