Don't print file/location information in stack trace for interactive environments

See !599 (closed)

/**
 * Within interactive environments, such as a Jupyter notebook, file name
 * and line numbers do not correspond to the notebook file (but instead to
 * the generated file). Such files are always in the tmp directory. If this
 * is the case, make sure we do not print nonsentical location information.
 */

Example:

*** Stack trace:
[0] main() at //tmp/jup-sackhmh76_s/tmp9674byxm.sac:65:1
 ╰⟶ main tried to call myTake2<[1],[1]>([ 3 ], [ 1 ]) at //tmp/jup-sackhmh76_s/tmp9674byxm.sac:67:19 but the predicates of myTake2 did not hold.
[SaC kernel] Executable exited with code 1

Should be:

*** Stack trace:
[0] main()
 ╰⟶ main tried to call myTake2<[1],[1]>([ 3 ], [ 1 ]) but the predicates of myTake2 did not hold.
[SaC kernel] Executable exited with code 1