fix vector.resize for types without copy constructor

[pablohoch]

Currently, vector<T>.resize(size) and vector<T>(size) require T to have a copy constructor, making these functions impossible to use with types such as std::unique_ptr.

This PR splits resize and the constructor with a size argument into two functions to fix this issue.