Add a note about vagrant settings customizations
to the contributing docs