Makefile now uses develop settings
Merge commit 'f5bc91aa1b93646d7f0b87f0b361aaf6d5e4be8d' into develop
Select a single host for vagrant provisioning.

Provisioning now proceeds as part of $ vagrant up, or $ vagrant provision.
Merge branch 'select_single_provision_host' into develop