[CI] allow ci.sh to use a local Frama-CI repo

nix/ci.sh

@@ -36,7 +36,7 @@ trap cleanup EXIT
 
 mkdir -p $TMP_DIR/frama-ci
 frama_ci_repo="$(readlink -f $TMP_DIR/frama-ci)"
-frama_ci_url="git@git.frama-c.com:frama-c/Frama-CI.git"
+frama_ci_url=${FRAMA_CI_LOCAL:-"git@git.frama-c.com:frama-c/Frama-CI.git"}
 frama_ci_branch="$(get_matching_branch "$frama_ci_url")"
 echo "using branch $frama_ci_branch of Frama-CI repo at $frama_ci_repo"
 git clone --depth=1 --branch="$frama_ci_branch" "$frama_ci_url" "$frama_ci_repo"