Remove provided scope for dependencies
Remove provided scope for dependencies

because they will not then inherit in transitive dependencies.

Since no dependencies are embedded, one does not need to distinguish
them in scopes
liveontologies/puli,liveontologies/proof-utils