Automated build of minisat dependency
Ignored generated minisat binary