Add integration test to test agent generation with -usedb
Provide the option to compare unordered outputs
Merge pull request #137 from runtimeverification/addtests

Add integration test to test agent generation with -usedb