Update the tool to print out symbols as well as support mainline Tock binaries.
Update the tool to print out symbols as well
as support mainline Tock binaries.

google/tock-on-titan,google/tock-on-titan,google/tock-on-titan