u8-istream: New library for reading a text file and recoding to UTF-8.