Added proper support for print --exact, changed behavior of print (pattern) to behave more like csoar. Fixed debugger to print --exact properly from context menu, and to appear on the context menu for identifiers.
Several changes to make this compatible with older versions of csoar (tested all 64-bit versions between 9.0.1 and current trunk)

* The native libraries that need to be loaded have changed over time.
* The locations of the libraries have changed over time.
* Some older versions require and explicit kernel.Shutdown() call to exit cleanly
* Some older versions don't parse some of the test Soar code correctly, so tweaked some Soar code to make it load
Small change to illustrate cherry picking from maven to master
Fixed typo that was preventing smem negated queries from working. Added smem neg query unit test from Nate.
Added test for empty string attribute
Still add attributes to working memory if they have length zero
SMem recognizes math queries and require their attributes to be present
Fixed an intermittent bug that could occur on some JVMs.  Inlining the db call in into the return statement within the try-finally would occasionally cause the result set to close before the value was retrieved for the return statement
Merge branch 'master' into smem
All tests pass and the most trivial math query works.
Make sure we rollback math records if the record is not acceptable.  We need to analyze math query elements even if they define the candidate set.
Added some less trivial tests for maximum
Make sure that max is not multivalued at both levels, and the corresponding test
Max sure we can find the max among mixed types
Make sure we can find the max from among multivalued attributes
Refactored math queries into their own package in preparation for adding more
Support negative maxes
Query for Minimum and the associated test
Less query and a basic test
Make sure that less respects negations and doesn't require min.