tools/ci-install.sh: merge multiple calls to apt-get