Update README.txt to reference new license, remove references to support from evaluator.pt, and add mention of new PDF documentation in doc/.
Update README.txt to reference new license, remove references to
support from evaluator.pt, and add mention of new PDF documentation in
doc/.

jochenschneider/linj,jochenschneider/linj,xach/linj,xach/linj,kisp/linj,kisp/linj