New topProperty method to handle different ways to generate top elements.
New handling of top/bottom elements and domains.
Make all tests work both in Eclipse and sbt
Do not use BlockGraphConverter anymore

BlockGraphConverter altered the standard assumption about the order
of jumps and of edges in the graph. We now add all tails of the
UnitGraph as leaders in the BigBlockGraph class.