v3.0.2
Cosmetic: Prints regression test results in a better shape
Changes the check script to detect segfaults
Cosmetics: assorted fixes on the coding style
Cosmetic: fix copyright header