Updated Windows manual installation guide

- The batchfile is not more than a one-liner.
- You don't need notepad to create the batchfile.