For general convenience, and especially if we want to start using the REPL for tests, faster startup times would be useful.
This PR changes the repl make target to dump an image if necessary, then use that image to run the REPL.
bin/repl now uses the most recently built image. The new bin/replx (with corresponding make replx target) preserves the old behavior (use an unspecialized image and load the project).
For general convenience, and especially if we want to start using the REPL for tests, faster startup times would be useful.
This PR changes the
replmake target to dump an image if necessary, then use that image to run the REPL.bin/replnow uses the most recently built image. The newbin/replx(with correspondingmake replxtarget) preserves the old behavior (use an unspecialized image and load the project).