[FriCAS] Improve the FriCAS plugin for GNU TeXmacs

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.