PART01.       detex - filter to strip TeX commands from a .tex file, Part01/01