Cleaning up the examples
Updated the examples
Added an invariant based example. Added toString to the conditions
updated the demo site
Merge pull request #254 from crawljax/hotfix/fix-examples

Fixing examples