Log Message:
Update mathomatic to 12.5.4.

Changes:
- Removed parsing of "infinity" and fixed parsing of "inf".
- Removed matho-around.  Use GNU "seq | factor" instead.
- Allow "#+"number and "#-"number at main prompt, to select \ 
relative
  equation numbers.
- Removed all primes (') support from variable names.
- Added version command.
- Added "-v" option.
- Split off super.c into super.c and poly.c.
- All polynomial routines are now in poly.c.
- Improved roots command and put it in tests.
- Fixed bug simplifying "a = (e# + (e#*i#))^(pi + (pi*i#))".