Added pt_tapein.py utility.
pt_tape2txt now strips out DEL characters.