Added dt_ibase command to the set available in formatters.  Extended
file command emulation.  Used in the provenance code for shorter
reference to the proper input file. Bumped to 1.4.17.
Regenerated documentation for shorter provenance comment.