Vagrant: Remove obsolete restart command.
Update documentation.