Server names

A started server now has a name. This allows multiple servers to use
the same redis instance as a master. A worker must now be started with
the server name as first command line argument.