Modified CMakeLists.txt: added a new option LOCAL_INSTALL_ALL and improved scripts for downloading the BAT source files.