Use records and add parameter for specifying path to frontend executable
#1 (closed)
FixesThis branch cleans up the parameter definitions by using the record syntax and adds a new parameter frontendPath :: String
that lets consumers of the package optionally specify a custom path to a frontend binary (see #1 (closed) for motivation). The default path has not been changed and still points to the frontend of the running Curry distribution.