Merging both the integrated and external verifier approach.
In this Merge Request the elm-ast-to-smt-input folder has been moved into elm-verify and been renamed to elm-verify-inetgrated and now depends on the elm-compiler-library module in elm-verify.
The submodule for the elm-compiler-lib has both versions merged and adjusted to build both an executable (for integrated approach) and a library (for external approach).
Both approaches have been adjusted to be able to compile together.
- integrated uses changed artifact type
- external uses the Verify type which has been moved to elm-data to Skip integrated verification
A dependencies map has been added in elm-verify