Add a parameter to override the frontend executable path
Currently, callFrontendWithParams
will always invoke the frontend from the running Curry distribution. There are, however, situations, where the consumer of this package may want to use a custom frontend, e.g. a KiCS2 built with PAKCS should use its own frontend rather than the PAKCS frontend.