Test framework improvements

This pull request includes various clean-up, refactoring, and improvements in the test framework and test examples.

Make execution order, trace length, and other test parameters configurable in test files
Combine test notation from different test examples into a reusable test notation module
Move LocalBlockchain and AllTests files
Merge SerializablePrinters into ChainPrinters
Rename Test module to ConCert.Execution.Test
Add more complex address generators
Add utility definitions in TestUtils

AU-COBRA / ConCert