Rename print -> dump.
Implement -help switch.
Add -fgenerate-source-file switch, producing derivative source file.