Example Vagrantfile and notes.

Based on previous work on vagrant branches, adjusted to use the new
--dev argument of the install script.