Add server config option to fully restart on redeploy

[jesse-gallagher]

It’s likely the case that apps using native libraries (e.g. DominoJNA) will fail to start when doing a hot redeploy due to “library loaded in another classloader” problems. Accordingly, it could be helpful to add a server-doc-level flag to indicate that new deployments should fully restart the server instead of just updating server.xml