Added pt_tape2txt utility.