tools/ci-install.sh: clean up the previously used installation prefix and the downloa...