In Python, given the name of a file, how can I write a loop that reads one character each time through the loop?