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