minor doc changes
better server timing
Nodes list now a parameter to ManagerRunner.run().
Slave node lists can now change during the Manager lifetime.

This renders Manager GUI Start/Stop buttons useless, so remove them.
recover the client in case of a server crash
update doc - no more start/stop buttons