Submersive and strict maps of topological spaces

Antoine Chambert-Loir suggests we should avoid using the terminology
``submersive'' and instead use ``surjective and strict''. This commit
doesn't yet go there completely but just introduces the notion of a
strict map of topological spaces.