WCI-2: Add Vagrant version tip for Ubuntu 12.04