add all specs written by Joe's students to regression test suite

[atiti]

I have several (tens of) thousands of lines of informal and formal BON to be added to BONc. They should be used for examples, regression testing, etc.