Added .gitignore and flymake rule to makefile
Added constraint class for PWS (PSO SB) abstraction.

Implemented entailment_compare.