SMT8 Program Generator

[ginty]

Adds initial SMT8 program generator support.

The feature set is equivalent to what O2 supports on SMT7 and it produces equivalent output to O1's main program generator test.

The origen examples command in test_apps/python_app generates the main test case.

[ginty]

Going to merge this tomorrow unless there are any complaints, need this to move forward internally with the development of the O2-based prog gen.

The update is fully self-contained to the prog gen and this is its active initial development, so don't want to be held up.

[pderouen]

No complaints from me for what it's worth.

[coreyeng]

Same, no problems. Sorry, I was seeing the additional commits and didn't check back up.

[ginty]

Thanks guys