Git-ignore vagrant/.
Add setup-dev-env scripts from server/.
Delete old Vagrantfile softlink.
Make setup-dev-env scripts work from new locations

And move Vagrantfile to ./.
Sync sources to /debiki/ not /vagrant/.
Update server/ module.
Edit readme file: add link to info on Vagrant and NFS.