Remove traces of noweb from build machinery


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1801 b0c55286-4f34-0410-a049-a1e7e93b0762
Better support for nopile mode


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1802 b0c55286-4f34-0410-a049-a1e7e93b0762
Avoid crash when printing error message from '-eval'.


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