Cohomological dim <= Krull dim for spectral spaces

This is due to Claus Scheiderer, see commit for reference. Our proof is
different.

Thanks to Davesh Maulik and Bhargav Bhatt for discussing what should be
true.