Wrote State.state_string.
Extended the docs/code to allow for easier extensions.
Merge branch 'master' of https://github.com/CharmlessCoin/Gambit