The Deligne development: aggregator

This module imports every file of the RS.Classical.Deligne development, so that a single import brings the whole of the Deligne-theorem work into scope. It declares nothing of its own.