Add updates on symbol naming and better-backtrace prototype

[eholk]

Minor updates to point out progress on the symbol naming suggestion, and also to reference https://github.com/eholk/better-backtrace where some of the filtering and formatting ideas are being prototyped.