[docs] note that users should install redis as submodule