-v and -vv

[Stephen Weeks]

> I  didn't see the assembler ever being called in the -v output.  Clearly that
> should be fixed up.  

There are calls to gcc which call the assembler.  I remember trying to switch
those to calls to "as" at some point, but it didn't work (I don't remember why)
so I switched it back.

> I would love to have the current  -v  output  only  come
> from something like -vv with a single -v just indicating the various programs
> being run (the MLton compiler, the assembler, the linker, gcc, etc.) but  not
> the  whole  detailed  output  of all the internal parts of the MLton compiler
> passes.

Sounds fine to me.