The Stacks project

Change definition of connected: require nonempty

Thanks to Burt Totaro

LaTeX: \Mor

	Introduced a macro

	\def\Mor{\mathop{\rm Mor}\nolimits}

	and replaced all the occurences of \text{Mor} with \Mor.

Smorgasbord of changes

	Loose ends:
		algebra: add colimit over almost directed cats
		sites-modules: exactness of g_!
		more-morphisms: exactness of g_!
		spaces-morphisms: closed immersions and sheaves
		spaces-more-morphisms: conormal sheaves
	should be fixed up soon

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

Starting with acyclicity...