examples: Minor fixes for echo-server
examples: Minor fixes for echo-server

 * Instead of "".to_string(), allocate a 1024 string buffer

 * Join the server thread to allow the program to exit correctly

Munksgaard/session-types