Consider changing Redis Explorer to Redis for VS Code

[simonkurtz-MSFT]

Please describe the feature.

Module 4 starts using Redis. The VS Code extension we have used, Redis Explorer, is quite old. Consider using Redis' own extension, Redis for VS Code.

The latter was released in 2024, long after Redis Explorer.