Improve the display (show instance) of loaded cryptol modules at the SAWScript command line

[mtullsen]

In the sawscript CLI, when we do

sawscript> F <- cryptol_load "F.cry"
sawscript> print F
[00:08:46.976] Loaded module 'F':
...

the results of this shows a subset of the public interface.

Note this in CryptolEnv.hs

     -- FIXME: Since the complete public and private interface is
      -- extractable, we should show the whole thing with public,
      -- private, typesyns, constructors, submodules.

[sauclovian-g]

I think the way we probably want this to work is via #2680, not by adding more special case code for CryptolModule.