Improved signal handling in extract-trace.sh; fixes #6
Cleaned up tool output