BIGTOP-1416. Refactor vagrant-puppet's Vagrantfile to make instance number configurable

Signed-off-by: jay@apache.org <jayunit100>