Topology: some improvements,

namely, started a chapter on Ramsey theory (but this is
likely to be moved to another file), and slightly simplified
the notation for unions. Otherwise: minor improvements in the
preamble.