Updates Kodkodi to run as a server, enabling programs to solve problems using Kodkod solver through socket communications. The kodkodi server is enabled by the -server cmdline option. *Required: This modifies the two files "Kodkodi.java" and "KodkodiParser.java" from Kodkodi source package, found at: http://www4.in.tum.de/~blanchet/#kodkodi. KodkodiClient.java is a sample client program, as a Kodkodi listener. programs terminated by semi-colon