Add --symbols to dump the recognized symbols to the stdout.

Also, renamed --ast-dump to --ast for consistency.