The Stacks project

Fix a name of a closed subscheme

Thanks to Ryo Suzuki
https://stacks.math.columbia.edu/tag/01YE#comment-8385

Supports of ideal sheaves

Thanks to Antoine Chambert-Loir and Yuto Masamura
https://stacks.math.columbia.edu/tag/01YF#comment-2176
https://stacks.math.columbia.edu/tag/01YF#comment-6815
https://stacks.math.columbia.edu/tag/0BEN#comment-6816

Typos (not mathematical)

In particular, the change in sheaves.tex is for fixing the strange look in the [webpage](https://stacks.math.columbia.edu/tag/01AL)

Grothendieck existence in proper case

No surprises.

Beginning devissage coherent sheaves on Noetherian spaces

Started tags infrastructure

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

Multiple changes as follows:
	Trivial change to algebra.tex introducing acc condition
	More local results on coherent sheaves
	More global results on coherent sheaves
	Devissage of coherent sheaves
	Small additions on sheaves of modules regarding behaviour map at
	stalks
	Finite type reflected by pushforward closed immersion
	Fix error in properties.tex on sheaf annihilated by an ideal
	shreaf and added cklarifications to lemma on sections over
	quasi-compact open of an affine

	modified:   algebra.tex
	modified:   coherent.tex
	modified:   modules.tex
	modified:   properties.tex

Changes:
	Lemma in algebra.tex on annihilating modules by powers ideals
	Started devissage of coherent sheaves in coherent.tex
	Section on sections of quasi-coherent sheaves in properties.tex
	Typo in modules.tex

	modified:   algebra.tex
	modified:   coherent.tex
	modified:   modules.tex
	modified:   properties.tex