star-cover and FDSO canonical version normalizer.

Normalizer solves decision-problem "Is given relaxation a reduction of specific problem-instance?". Forms are expressed in bipartite edge-labelling formalism. The project is in WIP status.

TODO:

• Unit testing
• Fix bug in "util.py getIdleLabel()"
• Improve matching
• Possible improve of code structure