Modified default values of flags
Merge pull request #56 from chsticksel/kind2-server

Modified default values of flags