Changes to instrumentation: arguments added to .Fe(..), sourcemapping made optional, paths in generated files depend on $JALANGI_HOME
.Fe(..) uses the new extra arguments argument, and it dispatches to *Engines with the .Fe method. Also made the trace file location configurable
Three new analyses