Applicative protocol demultiplexer (share https and ssh on the same port, among others!)