Updated copyright year and relicensed with the Apache License
Merge pull request #42 from chsticksel/kind2-server

Updated copyright year and relicensed with the Apache License