Adding a command "exit" to the Cozo server

[gvsafronov]

Hello!

I think it would be advisable to consider adding an "exit" command to the Cozo sever. Because adding an exit command to the server, in my opinion, will simplify the termination of the server process.
Shutting down the server with keyboard combination "Ctrl+C" at the moment is very inconvenient.

Best regards,
Grigorii Safronov