Subdue Python

Version 1.2 uses a poly-time-bounded, approximate graph isomorphism algorithm to improve efficiency while maintaining reasonable accuracy. Ordered sets replace unordered sets for pattern instance vertices and edges so that the output is the same for each run on the same graph. Also, parameters are output at the beginning of a run.