BUGFIX: ignore initial nodes in forward_prune(); cf. automaton.h

...as the documentation for forward_prune() in automaton.h described
before this commit, but had not been implemented.
DOC: add details about forward_prune(); include in API docs