added operator+=<T>(std::vector<T>&, const std::vector<T>&)