Read and write vectors as ASCII text files.
The file format is like:
VECTOR -- header 100 -- length of vector 1.23 1.56 1.23 ... -- data, separated by whitespace ....
Read a vector from a text file.
WARNING: This doesn't do graceful error handling. If the file has the wrong format
you'll get a confusing