Utilities/Release: Replace upload step with a "push" script
Replace the upload_release.cmake
script with a push.bash
script
that is more configurable from the command line and that does not
hard-code any destinations. Instead of using scp
to access
cmake.org
directly, push the files atomically to a staging
directory from which another process will actually upload them.