Add another time format to LogTimeFormat, this includes the
time in microseconds, the process pid and the thread ID.
Added the documentation for thread_id format.