rm remaining uses of PolyVector (#914)

This resolves #914 (closed).

Base/Util/Vec.h

@@ -27,6 +27,19 @@ template <class T, class S> int indexOfPtr(const T* t, const std::vector<S*>& v)
     return -1;
 }
 
+template <class T, class S> bool containsPtr(const T* t, const std::vector<S*>& v)
+{
+    for (size_t i = 0; i < v.size(); i++)
+        if (v[i] == t)
+            return true;
+    return false;
+}
+
+template <class C> void concat(std::vector<C>& v, const std::vector<C>& w)
+{
+    v.insert(v.end(), w.begin(), w.end());
+}
+
 } // namespace Vec
 
 #endif // BORNAGAIN_BASE_UTIL_VEC_H