Add regression test for linking JSONs

generated from Ada files. These are included as a documentation.

Author: petr-bauch

regression/cbmc/link_json_symtabs/one.adb

@@ -0,0 +1,4 @@
+procedure One (X : in out Integer) is
+begin
+   X := X + 1;
+end One;