Support ctrl+c (#690)

Cargo.toml

@@ -44,6 +44,7 @@ log = "0.4.16"
 env_logger = "0.10.0"
 tempdir = "0.3"
 serde_json = "1.0.82"
+ctrlc = "3.4"
 
 # TODO: Update if we upgrade tree-sitter to >=0.21
 tree-sitter-kotlin = "=0.3.5"

src/main.rs

@@ -12,7 +12,7 @@
 */
 
 //! Defines the entry-point for Piranha.
-use std::{fs, time::Instant};
+use std::{fs, process, time::Instant};
 
 use log::{debug, info};
 use polyglot_piranha::{
@@ -21,6 +21,13 @@ use polyglot_piranha::{
 };
 
 fn main() {
+  // Set up the Ctrl+C handler
+  ctrlc::set_handler(move || {
+    println!("Received Ctrl+C! Exiting...");
+    process::exit(130);
+  })
+  .expect("Error setting Ctrl+C handler");
+
   let now = Instant::now();
   env_logger::init();