Add high-level read_file/3 and write_files/3