[skip-ci] texmacs: update to 1.99.12

latest