Update README.md

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

* Rabin condition in examples written in standard way, i.e. `(F0 & I1)` instead of `(F0 | I0)` (which was also correct, but didn't correspond directly to Rabin).
Merge pull request #1 from xblahoud/patch-1