New constructor for Vector that creates a Vector from a std::vector<Real>.