vagrant: Speed up network transactions.

I have no idea what's going on here, unfortunately, but I was finding
that VirtualBox network traffic was having huge delays. After enabling
these two additional options, all my woes went away.

Also forwarding port 8000 since I use that fairly often.