Start a recipe for minisat+
Merge branch 'master' of github.com:pydata/conda-recipes