spark-instrumented-optimizer/python/docs/make.bat