Vagrantfile for Django development