If desired, format.header() can set the "CREATED BY" field to diveRlib version info.  On by default.
Removed debugging print statements.
Fixed bug in pad(): pmax() instead of max() necessary if vector of strings has to be padded.