Install Redis server on windows 10 4