Update SockJS example

 - use more recent SockJS
 - don't close the socket explicitly, since SockJS will do it
 - parameterise port number so more than one can run