moved docs to different branch
fixes in documentation
DOC_PREFIX is not needed in Makefile
small improvements
changes to Tools.Parser, resulting in global changes