Remove invisible U+FE00 variation selector from CoqIDE bindings

The current CoqIDE bindings include an invisible U+FE00 variation selector
immediately following a number of symbols.  For example, \empty maps to
U+2205 U+FE00 (UTF-8 encoding E2 88 85 EF B8 80), where U+2205 is the
expected Unicode point for "EMPTY SET".

This variation selector is difficult to work with in CoqIDE.  If some
notation is defined to expect a U+2205 symbol, then a U+2205 U+FE00
expression does not match that notation, even though it is visually
identical.  As a concrete example, this makes it difficult to use CoqIDE
to type the U+2205 EMPTY SET symbol for use with Iris, which expects a
U+2205 without a U+FE00.  Pressing "backspace" at the right point deletes
the U+FE00 variation selector, even though visually nothing appears to
happen, which is also confusing.

This commit removes the U+FE00 invisible variation selectors from any
symbols in the default bindings for CoqIDE (it appeared in 35 symbols
out of 1400+ symbols; I have no theory for why those 35 symbols were
special in this way).  This change was generated using:

    sed -e s,$(printf '\xef\xb8\x80'),,

0 files changed, 0 insertions, 0 deletions