Ideas to further improve the packaging:

 * These tests require CDSChecker to be checked out into a subdirectory
   named 'model-checker'.

   CDSChecker can be obtained from: git://demsky.eecs.uci.edu/model-checker.git
   The version last used for testing was: 5c4efe5cd8bdfe1e85138396109876a121ca61d1

 * relacy https://github.com/dvyukov/relacy was initially distributed with the source
   tree and should instead move into a package of its own

