Update with latest definitions from veewee's master.
Reduce default disk size to 200GB.

This is mainly just so zeroing out the disk doesn't take so long when
building new machines. And 200GB still seems ample for local dev.
Ugh. Work around HTTPS issues so I can build the boxes at work.
Add new files from the latest definitions.

Although I don't think these are actually used currently.
Update with reference to latest v20130731 box.