Support Vector in Randoms.pluck() and pick().

Ideally, Arrays.* would support Vector in a similar way (and then Randoms.shuffle would be an
easy port too), but I didn't feel like digging that deep at the moment.