graph_coloring_z3: set the node/edge attribute globally, not on each node/edge
graph_coloring_z3: fix a typo, and use an exception if no result found
add gapz_code_injection, a dirty poc of the injection technic used by win32.gapz