The Stacks project

Fix typos

Thanks to correction_bot
Online comments 931 -- 936

Cosmetic change

	Given a named theorem, such as Chevalley's theorem, we now code
	this as

	\begin{theorem}[Chevalley's theorem]
	\label{theorem-chevalley}

	and not as

	\begin{theorem}
	\label{theorem-chevalley}
	(Chevalley's Theorem.)

Whitespace changes

Started tags infrastructure

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

Mayer-Vietoris and starting to prove that higher direct images of
quasi-coherent sheaves are quasi-coherent under quasi-compact and
quasi-separated morphisms

	modified:   coherent.tex
	modified:   cohomology.tex