All tabs now use the same websocket client. Server connection goes through a
pipeclient and a pipeserver. Tabs are now truly synchronised.