an demo of socket communication between ml in isabelle and scala prog.