Improved HA documentation

More detailed description of how to recover when state servers fail and many other fixes and cleanups throughout.
...the `juju ensure-availability` command?