reduce the header size for test users (#3)
reduce the header size for test users (#3)

ContextState has been split in two parts - one accessible for the
test macros and one accessible only from the test runner.
This also made it possible ot pull out other type definitions from
the testing-only header.

onqtam/doctest,onqtam/doctest,onqtam/doctest