2013-09-18 Pat Pannuto * thread.c: Print thread name as well as ID number and PID when executing the thread family of commands