Documentation revamp for the Interpretation Engine

Closes #44

See merge request laiser/caisar!87

Only use non-strict inequality symbols in VNNLIB driver/printer

Closes #49

See merge request laiser/caisar!110

No need to modify the driver because PyRAT handles stict inequality symbols.

Revise semantics of the options -T and -g for selecting goals.

See merge request laiser/caisar!109

Here the revised semantics:
- Option -T <theory_name> select only the goals of theory <theory_name>
- Option -g [<theory_name>:]<goal_name>,...,<goal_name> select only the list of
  <goal_name> from the <theory_name>, or from all theories.
- If no -T and -g are provided, all goals (from all theories) are selected.

Goal selection

See merge request laiser/caisar!108

Add test and example for AIMOS amplitude type

See merge request laiser/caisar!107

Add handling for records in property files

Closes #32

See merge request laiser/caisar!105