(formatter.py): Add a flush() method to the writer interface. This really

needs to be a standard part of the interface, so we'll have it in
	for the next release.