updating the jkind-api.jar to use the environment variable JKIND_HOME to locate JKIND before rifling through the user's PATH variable.
Merge pull request #2 from lgwagner/master

This version of SpeAR incorporates a new version of the jkind-api to look for the JKind jar file in a place specified by an environment variable called JKIND_HOME
Merge remote-tracking branch 'upstream/master'