- fixed all over-eager nonnull cases for optimizing with gcc and clang (works up to -O3 except gcc 4.9.0)
- add asserts to nsfError.c
Adding todo on multiplicities
- complete nonnull+assert adding in .c-files other than nsf.c
Merge branch 'master' of ssh://alice.wu-wien.ac.at/usr/local/src/git-repo/nsf

Conflicts:
	TODO
Adding incremental doc to propery doc fragment
Merge TODO
- made nsf::is using the "-strict" option when tcl's "string is" is called.
Merge branch 'master' of ssh://alice.wu-wien.ac.at/usr/local/src/git-repo/nsf
merged
- commenting item
- let the c-code generator produce as well nonnull assertions