DOC TRIV: Correct misprint about spin_aut_dump()
BUGFIX: Fixes #14 concerning sys liveness failing for an independent env

As of this commit the test suite has known regression test failures,
which will be soon corrected.  Note that this bugfix may result in
output changes even when previously generated output for the same
specification was correct.
DOC: Improve formatting
DOC TRIV
aut format v1, now including "initial" field of anode_t
DOC: Remove invalid link
DOC TRIV
From autman generate models for verification using Spin Promela