minor decompiler tweak
fix a test
terminology change again: "cross-phases persistent" modules
add `module-compiled-cross-phase-persistent?'
fix problem with `raco exe' and cross-phase persistent modules

Relevant test is "teaching-lang-executable-creation.rkt" iin
"tests/drracket".
docs tweak