put and use workspace.cmake in the build directory.
fix the download check and update build tools versions.