Rename ignore_tei to remove_tei

That's what it does, we'll add another option to really just ignore it
later on.