New command line option 'nm' to show symbols
Merge remote-tracking branch 'github/pythonify' into pythonify