Update notes for submitted changes

* txt-out: improve time information
Update notes for submitted changes

* doc: update knotc help