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.