Some instrumentation for measuring execution times and memory usage.
Allowing protocol confirmations to specify a different analyzer.
Bugfixes.
Disabling timing summary by default, adding option -Q enable.
Updating cmake.