Array-to-vector function added.

This constructs a vector from an array, either through copying or through
simply taking ownership of the passed pointer.