write_file()

I think we do need a `write_file()` - I now understand how it should differ from `write_lines()`:
- it should throw an error with a character input of length > 1
- it should also accept a raw vector
- it should not add a trailing nl

It could be documented with `write_lines()` though.
