Redis Install

This release adds a postinstall script that automatically installs Redis for Windows users. I admit it is rather thrown together, only covers a very narrow range of cases, and definitely needs to be professionally done, but it works in my tests for now.