Need more explanation about interactive style in docs.tcframe

[stevenwjy]

I tried to learn about testcase generation using tcframe - interactive style . However, I couldn't find detailed information about the modeling for spec.cpp, like how to remove "OutputFormat" and other differences between batch and interactive style. I think the docs need some improvement regarding that part. Thank you.

[jonathanirvings]

Closing this, duplicate with #168