Merge branch 'kostyantyn/feature/register_rtl' into 'master'

Reorder generated AST to avoid its corruption and compile-time failures

This merge request suggests the following changes:
- Reordering globals in the generated AST so all added function calls were preceded by function definitions
- Handled renaming of GMP types to move them to "__e_acsl_" namespace for consistency with our public API and also to avoid clashes in naming.

See merge request !76