README: rename vagrant ubuntu machines