Add Java 17 record class to kernel submodule. Build succeeds.

Author: Scott-Guest

kernel/src/main/java/org/kframework/Foo.java

@@ -0,0 +1,4 @@
+// Copyright (c) Runtime Verification, Inc. All Rights Reserved.
+package org.kframework.attributes;
+
+public record Foo() {}