Add Windows batch files for easier use on Windows