ignore/types: add K type

Adds support for files used by the K executable semantic framework:
http://www.kframework.org/index.php/Main_Page

PR #1493

crates/ignore/src/default_types.rs

@@ -85,6 +85,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[
     ("jsonl", &["*.jsonl"]),
     ("julia", &["*.jl"]),
     ("jupyter", &["*.ipynb", "*.jpynb"]),
+    ("k", &["*.k"]),
     ("kotlin", &["*.kt", "*.kts"]),
     ("less", &["*.less"]),
     ("license", &[