non-locality problem rewritten
weighting due to targeting started
Merge branch 'master' of https://github.com/lanctot/iioos
Hopefully an empty merge accepting the changes merged by Marc

Conflicts:
	iioos.tex
Weighting formally defined
Merge branch 'master' of https://github.com/lanctot/iioos