Convert tex files between babel notation and unicode, eg between \"{a} and ä.