Added some more material about proving compactness using
the cathoristic equivalent of ultrafilters.
Fixed a few small imprecisions.
Merge branch 'master' of github.com:RichardEvans/EL