Restart web server after deployment

Recently, deployment frequently results in a Bad Gateway issue. Restarting the
web server resolves the issue. It might be an issue with changing IP addresses.
This commit forces a restart of the web server after each deployment.