parser: run-time option to print tokens
frontend tester: improve command-line arguments
frontend tester: print command-line parameters
frontend tester: improve help
semantics: improve top-level symbol printing
frontend tester: print top-level symbols optionally
README: update