Update README.md

* some typos corrected
* ltl2dstar-like implicit labels' description added
* bugs in example automata corrected