Requesting pull of Vagrant files.

Known issues from the version merged in the 2013-07-30 pull have been documented or fixed.