i’m trying to get jay mccarthy’s automata project running locally. I’ve cloned it and I want to get the repl up and running and eplore the tests. I’m a bit at a lost of how to get the repl to load up all of the correct files loaded. How would I load the file explain.rkt? https://github.com/jeapostrophe/automata/blob/master/automata-test/tests/explain.rkt