Add support for groovy

[StefanosChaliasos]

Add support for groovy lang. We always compile programs with --compile-static. To test the groovyc compiler, run the tool with the --language groovy option. Closes #16.

TODOs

• [x] Test transformations
• [x] Rebase main
• [x] Detect/Handle crashes
• [x] Fix indentation
• [x] Fix incorrect substitution false positives

General Changes

• Adds language and options to generator and transformations.
• Adds builtin_factories and a factory for each language. We should not use kotlin_types and groovy_types directly, but we should use a factory.
• Adds --timeout option for transformations (default value: 10 minutes).
• Various bug fixes.
• Adds -only-preserve-correctness-substitutions option.

Limitation

• Currently, we don't support use-site variance; thus, we don't have contravariant and covariant type parameters.
• Groovy does not support type inference for generics. Hence, we disabled the TypeArgumentErasure for groovy.
• Due to a reported bug in the groovy compiler that happens very frequently in the generated programs, we have set --disable-params-type-widening to always True for groovy.
• We don't call super in constructors (I don't see what we can gain by calling it).

[StefanosChaliasos]

@theosotr the PR is ready. Please check test tests/test_type_utils.py::test_type_hint_constants_and_binary_ops and see if any part in our code is affected. This test fails due to a change in src/generators/utils.py.

[theosotr]

Great job! Before implementing new features, I think now we should focus on bug fixing and performance improvements. We have a couple of bugs to fix, both programming errors and FP.