Some minor housekeeping.
Handle GNU format symbol tables (closes #5).  Added "symbols" option.
Fixed missing padding on GNU format extended names data section.  Added
a test for all of this.
Version 2.02.