make ubuntu default vagrant box, update README badges