Add selftest for src/ring conversions

Remove TABs from src

Will also make selftest to check that they aren't introduced

Remove -- as an alias for Term parser.

As per comment in release notes this has long been replaced as
appropriate style.

Rework ring's prelim to be ternaryComparisons and moved to src/sort

Addressing github issue #343, which is to use one base comparison
result type for what happens in both src/ring and src/enumfset.

Fix bug causing numRingLib to fail to load.

Avoid a bunch of pattern completion warning messages.

Removed trailing whitespace from all .sml and .sig files.

This affects over 900 files and was done using emacs's delete-trailing-whitespace
function in batch mode. Building the system with Poly/ML and Moscow ML seems to
work, so I'm hoping these changes don't break anything. Please complain if
they do!

Removed a Polyhash

Modified so that it doesn't print out annoying messages about type
variables being guessed as it loads.

Small changes to use new computeLib interfaces.

src/ring now builds in Kan.0.

Removed the ugly boolean of add_thms and from_list.
Use lazyfy_thm or strictify_thm instead.
Modified examples accordingly.

some minor changes

updated ring: bool_ss disappeared

added the ring library