MISC: Now catch ctrl+c to close cleanly the server

You can double ctrl+c to really kill the server, but you will need to
use the -F option when you relaunch the server.