49231a7bde
In its current location, the download helper for Window batch scripts, downloader.js, gets deleted when the Windows batch scripts are generated (due to a call to clean_dir). This patch moves downloader.js to the tools directory where it remains safe from clean_dir. Change-Id: I48f3daf613e8517dfb9256af298e9e43f76289bc
The tools in this directory are for advanced users and developers. They can be used to test changes in the training-cluster.