v3.0.1
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