deleting a line from a file in python,"open('names.txt', 'w').write(''.join(lines))"