txt-out: improve time information

Change-Id: If5a275798c4e1198d5de441e2a4b3abadfb3de01
doc: update knotc help

Change-Id: Id40a732dcd5b7467f89ea86549d03666a12bfb4d