Mark `States:` as optionnal, but recommended.

Also remove a bogus `States: 1` from two 4-state examples.  This both
fixes an error in the document and demonstrate the possibility to omit
`States:`.

This closes #30.
Merge pull request #30 from adl/issue/30

`States:` is not mandatory anymore