+ added files to have a better structure.
+ wrote about the specification and asumtions.

	new file:   environment.tex
	modified:   paper.tex
	new file:   specification.tex
	modified:   tools.tex