HA demo: fix the pkill commands

They were not referencing the right process names.
HA demo: be a bit more positive in the conclusion of the recovery :-)
Merge pull request #14 from vuntz/doc-fixes

Improve HA demo doc