Log Message:
Update FriCAS to 1.1.2

Changes:

- Experimental Texmacs interface and Texmacs format output.
- Guessing package can now guess algebraic dependencies.
- Expansion into Taylor series and limits now work for most
  special functions.
- Spad to Aldor translator is removed.
- Spad compiler no longer allows to denote sets using braces.

Bug fixes, in particular:

- Fixed few cases where elementary integrals were returned
  unevaluated or produced wrong results.
- Unwanted numerical evaluation should be no longer a problem
  (FriCAS interpreter now very strongly prefers symbolic
  evaluation over numerical evaluation).
- Fixed a truncation bug in guessing package which causes loss
  of some correct solutions.
- TeX and MathML format should correctly put parentheses around
  and inside sums and products.
- Fixes few problems with handling of Unicode.