Use python.bat instead of hardcoding the python.exe path

It can change between versions of depot_tools.