Irony: add irony-server-kill command