A bit more basic topology

-- Making spaces sober
-- Describing the topology on limits of spaces
-- Limits of spectral spaces along spectral maps are spectral
-- Making a Noetherian space sober gives a Noetherian spectral space