Made a typedef for std::vector<double>
Logging of parametere vector to stdout