pitest_config.py: generate different headers specific to pitests

Currently we have 6 pitests. Run 'python pitest_config.py' will
generate different headers for each testcase, each with different
tp[] definition.

Run 'python pitest_config.py' before make.
Modify pitests to use headers generated by pitest_config.py