fix vagrant setup not working after recent changes to development.ini

[ryanlerch]

the development.ini used in the vagrant setup is now based on its own that we keep in devel-ansible/files