Convert to Scala 2.10.0

There have been numerous minor language changes to Scala for 2.10.0.
There are a few instances of language features that now have to be
explicitly called out (defining implicits, for example).

More significant is that Actors have been removed entirely from the
standard library, replaced by Akka.  Since only a single class is
affected by this (the Check command), this class has simply been
commented out at this time, until it can be converted to Akka.
Allow single-threaded 'Check'

Replace the actor version with a simple single-threaded verifier that
will at least run.
Native workaround for JDK7 bug

A bug in some versions of the JDK7 prevent jpool from building:
http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7185778
http://stackoverflow.com/questions/10669704/error-with-javah-when-writing-jni-in-scala-with-java-7

The 'javah' tool doesn't accept class names that contain '$'
characters.  To work around this, put all of the native methods in a
regular class, and inherit that class into it's companion singleton
object.  This will remove the '$' from all of the external names.