Got socket communication to work, and isabelle method to use graph
interface now working. Can display graph etc.