Spectral Spaces and Ultrafilters