core/io: add the finish() and new_read_boxed() to FileReader