What Vagrant plugins actually are?