update vagrantfile
- make mongodb install by default
- update php.ini