allow customizing more vagrantfile options