cleanup a few overlong lines and trailing ws, etc.
remove the isTriviallyInvalid() solver
Merge pull request #105 from regehr/remove-istriviallyinvalid

remove the isTriviallyInvalid() solver
Merge remote-tracking branch 'origin/master' into cleanup
Merge pull request #104 from regehr/cleanup

cleanup a few overlong lines and trailing ws