Merge branch 'pyret-lang-pr-1851'

This is both a meaningful merge and a test. We did:

git checkout repo-lang
git switch -c pyret-lang-pr-1851
git pull --no-ff git@github.com:brownplt/pyret-lang horizon
git checkout main
git merge pyret-lang-pr-1851

This got the change from brownplt/pyret-lang#1851, and
appropriately merged the edits into the right lang/ subdirectory path in the
main branch.

Author: jpolitz

lang/src/scripts/show-compilation.arr

@@ -41,7 +41,7 @@ parsed-options = C.parse-cmdline(cl-options)
 
 compile-str = lam(filename, options):
   base-module = CS.dependency("file-no-cache", [list: filename])
-  base = CLI.module-finder({current-load-path:"./", cache-base-dir: "./compiled"}, base-module)
+  base = CLI.module-finder(CLI.default-start-context, base-module)
   wlist = CL.compile-worklist(CLI.module-finder, base.locator, base.context)
   traces = SD.make-mutable-string-dict()
   result = CL.compile-program(wlist, options.{