Update README.md

Added example in using gitk to check the history of a solver