Patch 1

* some typos corrected
* description of `ltl2dstar`'s implicit label encoding added
* bugs in automata examples corrected
* acceptance condition in the examples of Rabin automata changed to correspond to usual Rabin - `(F0 | I1)` (which was also correct in both cases) changed to `(F0 & I1)`