Batch file to run python script. (For more about batch files, see Appendix B