Cycle finding#6

closes #6 (closed)

The maximum circuit length constraint is not implement because i dont know if that might break the algo.

we now have these algorithms

• hawick translation
• hawick modified for iterator
• johnson translation
• johnson modified for iterator
• some hawick performance experimentstation

Still TODO:

• test all implementation