add Redis in Travis config