docs/dev server: Add explicit vagrant restart command
docs/dev server: Add explicit vagrant restart command

A naïve `vagrant halt` + `vagrant up [--provision]` doesn't suffice.

vishwesh3/zulip-mobile,vishwesh3/zulip-mobile,vishwesh3/zulip-mobile,vishwesh3/zulip-mobile