Added cleantex.rb, a latex output file cleanup script.