Gather test suite statistics

[japaric]

• Compilation time
• CPU usage during compilation
• Execution time
• CPU usage during execution
• How many unit tests passed
• How many quickcheck tests passed
• LoC of tests
• LoC of src
• Ratio of (LoC of test) / (LoC of src)

Using a bash zsh script

[japaric]

Here's the output at the time of merging:

• Without optimization:

$ ./profile-test-suite.zsh
Compiled 46 test files in 32.618 s using 656% CPU
Executed 1238 unit tests (120191 QC tests) in 57.547 s using 492% CPU

• With --opt-level=3 optimization:

$ ./profile-test-suite.zsh
Compiled 46 test files in 1:34.33 s using 730% CPU
Executed 1238 unit tests (120203 QC tests) in 34.755 s using 444% CPU