write_file() - appends a string to a file

int write_file(string file, string str);

Append the string `str' into the file `file'. Returns 0 or 1 for failure or success.