Allow metadata in checker format

The config options that were used to generate the checker document should be included in the metadata. The time when the format was created should also be added. This is needed by #207 so we can confirm that existing config options match complied options in order to catch errors -- or force a recompile.