Update cosy-server command to use cosy.server.cli instead of cosy.server.runner.
Update cosy-server command to use cosy.server.cli instead of cosy.server.runner.

CosyVerif/library,CosyVerif/library,CosyVerif/library