Implement pycosat
Merge pull request #118 from certik/packages

Add the pycosat package