Updated README.md
minor changes on testcoloring.sml