I am too lazy for a detailed discussion of all the changes.
Many identifiers got their `cl_' stripped off. Ok, this is a
clumpsy CVS log-entry. Promise: more will soon go into the
file ChangeLog. I apologize for the inconvenience. :-(
- Wrote a check to see if libgmp can be used.
- Added libtool interface versioning (-version-info) for the library.
- Added libtool inter-library dependency for -lgmp. (Libtool should care
if this works on the current platform.)