Fixes #20

Fixes bug #20. The highlight-ctest.py script did not handle
segmentation faults properly.