[FriCAS] Improve the FriCAS plugin for GNU TeXmacs

[darcy]

One of the FriCAS developers contacted me and hopes to improve the FriCAS plugin for GNU TeXmacs.

We may talk about it here for publicity.