Vagrantfile: Use raring Ubuntu release