Update to Girder 1.0, add Vagrant