Update provide-dev-deps to extend provide-CI-deps

Use both provide-deps.sh files in devcontainer:
 * provide-CI-deps.sh install the deps for CI
 * provide-dev-deps.sh install the remaining deps for the devcontainer

Before this update, provide-CI-deps.sh was a subset of provide-dev-deps.sh