make the URL to autoproj_bootstrap a variable at the top of bootstrap.sh