replace distutils with setuptools
Added lingeling support
Added CYGWIN example
Small improvements
Updated README.md
typo
Merge pull request #3 from dhoepelman/lingeling

Lingeling support