Manually merging PR distutils -> setuptools #19, thanks to https://github.com/yasoob
Manually merging PR distutils -> setuptools #19,
thanks to https://github.com/yasoob

This change should support both distutils and setuptools for the python
bindings.

sambayless/monosat,sambayless/monosat,sambayless/monosat,sambayless/monosat