Overall review and improvements

Jaccard similarity score by default, customisable plotting layout, more visible state highlighting, reported node type in failed-step warnings, improved readme and documenting-comments, automatic dependency installation, changed license from MIT to BSD 3-Clause.