New types for bounded mod types

bound-mod-type for non-power-two modulus and
bounded-unsignedbv-type for power-two modulus.

Author: Petr Bauch

gnat2goto/ireps/irep_specs/bounded_mod_type.json

@@ -0,0 +1,9 @@
+{
+   "parent": "bitvector_type",
+   "id": "bounded_mod_type",
+   "namedSub": {
+      "lower_bound": {"type": "integer"},
+      "upper_bound": {"type": "integer"},
+      "ada_mod_max": {"type": "string"}
+   }
+}

gnat2goto/ireps/irep_specs/bounded_unsignedbv_type.json

@@ -0,0 +1,7 @@
+{
+  "parent": "bitvector_type",
+  "namedSub": {
+    "lower_bound": {"type": "integer"},
+    "upper_bound": {"type": "integer"}
+  }
+}