format parameter removed from IO methods.
Bug fixed in test code.
Javadoc added for IO.
CharacterFormat now allows custom nullString. StringFormat added.
Javadoc for IO added.
Javadoc added for smirings.
Javadoc for semirings changed.
Javadoc added.
Update README.md
Update README.md
ApproximateConvergence condition added. Javadoc of weight convergence
conditions changed.
Merge branch 'master' into gh-pages
Javadoc site updated
Merge remote-tracking branch 'origin/gh-pages' into gh-pages