public void match_remove (int tag)
Removes the regular expression which is associated with the given
tag from the list of expressions which the terminal will
highlight when the user moves the mouse cursor over matching text.
the tag of the regex to remove