Add charactes position to tokens, clean up handling of nonblank info.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1575 b0c55286-4f34-0410-a049-a1e7e93b0762
Misc cleanups.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1576 b0c55286-4f34-0410-a049-a1e7e93b0762
Rename 'limitedint' to 'logint', etc.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1577 b0c55286-4f34-0410-a049-a1e7e93b0762
Avoid exponential time in 'mapRecurDepth'.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1578 b0c55286-4f34-0410-a049-a1e7e93b0762
re-establish HyperDoc content from .htex sources
add releaseNotes and "Changes to Spad" into ug15
fix htexdoc
util.ht is now in doc
make dist and use pregenerated files
fix according to Waldek's comments