Added strace-related helper scripts.  Added SYSV semaphore-array state capture.