Changed the name of text2tex to ascii2tex so that it was easier to read.