Function
void writeTextValueFile(loc file, value val)
Usage
import ValueIO;
Write a value to a file using a textual file forma