Added a new example that demonstrates the expressive power of quantification.
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'
Fixed bug identified by Lucas Wagner.
Merge pull request #1 from chaosape/master

A patch for Lucas's bug.