added extension Ext_tex_math_double_backtick; changed test suite to enable this