Added simple customization of target file's name.

Just using System.Environment.getArgs. Not customizing module's name
for now -- all target files should be "Main" modules. But they can
be named whatever!

Also experimenting with typechecked source, in case it shows itself
necessary.