FriCAS Code

Remove unused noweb stuff.

Silence some warnings.

remove trailing whitespace, trailing empty lines, expand tabs

remove trailing whitespace
find . -type f -a ! -regex '\./\.git/.*' -a ! -name '*.ps' -a ! -name '*.daase' -a ! -name '*.icns' -exec sed -i 's/[ \t]*$//' {} \;

remove trailing empty lines
find . -type f -a ! -regex '\./\.git/.*' -a ! -name '*.ps' -a ! -name '*.daase' -a ! -name '*.icns' -exec sed -i -e :a -e '/^\n*$/{$d;N;};/\n$/ba' {} \;

expand tabs to spaces
for f in $(grep -lR ' ' *|grep -v Make|grep -v config|fgrep -v '.as'|grep -v '.ht$'|grep -v 'diff$'|grep -v 'icns$'|grep -v rules|grep -v ChangeLog); do expand $f > $f.x; mv $f.x $f; done

More renames of 'Axiom' to 'FriCAS'.

Rename C config header.

Change 'axiom' to 'fricas'.

Support '-eval' command line argument.

Don't spread textual substitutions all over the text.

Delete obsolete log files.

Shorten startup/shutdown delays.