Merge scip-kotlin into scip-java#879

jupblb wants to merge 7 commits into

mainsourcegraph/scip-java:mainfrom

michal/scip-kotlin-2sourcegraph/scip-java:michal/scip-kotlin-2Copy head branch name to clipboard