Add a --shorten-thread-ids option to replace the thread id with a decimal number.