Improve chapter on hypercoverings

Made it more general so it works also for the hypercoverings exactly as
defined in Verdier's original.