Updated agent examples to be run by ktest.

Had to remove output for p22 and p23 as they were non-deterministic.
Changed nondeterministic tests to use search.
Updated tests.
Merge pull request #347 from kframework/agent-tests

Updated agent examples to be run by ktest.