writeFile function

Write a result to a file on disk.