Rename nodes in Vagrantfile

Amended node names in Vagrant file from `node{0,1,2}` to `obnode{0,1,2}`.