why3 accepts long path as socket name

Unix sockets have the restriction that the path to the socket must be quite short (100 chars give or take depending on exact OS). We can workaround this limitation by chdir'ing to the dirname of the socket first. This was already done in the server, but not in the client.