Rename vagrantfile
Update debian box