Make test summary more verbose
Count Tamarin tests which passed all test cases
Merge pull request #229 from briefbanane/master

Make test summary more verbose