ReCon framework 1.1.0

[Russoul]

DONE:

• Support configurable timeunits in formulas via a CLI option.
• Support existential quantification over properties (both finite and infinite domain)
• Support Presburger arithmetic (over ℤ)
• Integrate Presburger arithmetic into the LTL

TODO:

• Clean up
• Test on the formula proposed by @javierdiaz72:
  ☐ (∀s₁. ∀h. RBGenerated{slot = s₁, hash = h} ⇒ ∀n ∈ $NODES. ♢ (∃s₂. RBReceived{slot = s₂, hash = h, node = n} ∧ s₂ ≤ s₁ - 1))