Make no-quorum-policy configurable in the webui

People might want to pick something else than stop when they have enough
nodes.