ArrayRef: use std::vector::data() now that we are building in C++11 mode