Re-structuring the tests.
Added a couple of single-clock examples.
Added code to make sure that the example 12.txt work out right.
Interface change - needed to do it to make the code less ugly - just
changed the functions minimise_clock_constraint and
clock_constraint_intersection to use arrays instead of lists (no idea
what I was thinking when I wrote this stuff.)