Yet another minor fixes, mostly to documentation

All duplicate words removed from .doc and .tex files; non-script files in src/ marked as non-executable; few typos fixed.