Provisioning fixes (including Debian).

Responding to a support request from a RaspberryPi+Debian user last week.

0. Support for testing multiple OS targets within Vagrant.
1. Dependency fixes for gcc-arm, curl, etc.

Closes #179.
Closes #182.

r=@fnoble,@imh,@cbeighley