Vagrantfile: updated shared folders option

shared folders option has been replaced from `:extra` to `:mount_options`.

https://github.com/mitchellh/vagrant/blob/master/CHANGELOG.md#130-september-5-2013