Update server.ml : WELCOME command sends back the escaped string of username if it's necessary