fixed an implicit error with .void and traverse
added examples of command line usage to control
examples and a full specification
added command line arguments for contexts
added command line arguments for fixtures
added the debug section