Adding Python scripts to batch files