Added conversion of vectors between txt and binary format.