Use Redis in travis rather than MongoDB