facility to prune imports

[propensive]

We should be able to remove any unnecessary imports (those containing projects which aren't used for projects in the layer) and then replace imports of layers which define zero projects of their own with their own imports. This would be useful before publishing.