coredev.vagrant has moved to https://github.com/plone/coredev.vagrant