adds src/plugins/nonterm/tests

Makefile

src/plugins/nonterm/.gitignore

...nterm/tests/nonterm/oracle/builtin_termination.res.oracle

...nonterm/tests/nonterm/oracle/builtin_with_body.res.oracle

...plugins/nonterm/tests/nonterm/oracle/callstack.res.oracle

...lugins/nonterm/tests/nonterm/oracle/callstacks.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n1.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n2.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n3.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n4.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n5.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n6.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n7.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n8.0.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n8.1.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n9.res.oracle

...ns/nonterm/tests/nonterm/oracle/output_to_file.res.oracle

src/plugins/nonterm/tests/nonterm/output_to_file.i

src/plugins/nonterm/tests/ptests_config

src/plugins/nonterm/tests/test_config