document what `vagrant up` is actually doing

It was especially confusing that install-with-vagrant manual mentioned outdated PPA that Vagrantfile doesn't actually use. It now points to official Ubuntu installation instructions (as Vagrantfile seems to follow it). It should be future proof!