Only load by module name, if we have a special module name.
Only load by module name, if we have a special module name.

Otherwise, scripts tend to fail to reload, as they have no module name,
which defaults to `Main`, but the file name is called something else.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol