Install Redis server on windows 10 3