document vagrant version we use