Using session name to distinguish connections

Now all the commands that relate to a session refer to that session name. Moreover, if a session with a given name is present, a random suffix is added to disambiguate multiple sessions.