Supply an example 'Vagrantfile-extra.rb' customization file

Rather than have users start a Vagrantfile-extra.rb file from scratch, users
can copy extra/Vagrantfile-extra.rb to the repo root and use it as a starting
point for customizing their virtual machine.

Change-Id: I22e5098a49a13fdf2442fff2331a74497e3315b9