download vagrant box via https (closes #3334)