Minor documentation/message fix


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1808 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix a thinko


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1809 b0c55286-4f34-0410-a049-a1e7e93b0762
Remove unused noweb stuff.


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