Added options for vagrantfile