rename tfmath/LaTeXMath to fricasmath
fix efricas for new TexFormat and fricasmath environment