OFString: Add -[writeToFile:encoding:].