Remove LICENSE file

I don’t think this license was meant to cover the build script and patches, which are pretty small and not the sort of thing you would reserve rights to.  The file was originally added to the repo with the commit message “Add a license for minisat.”  (However, MiniSAT is actually released under an MIT license.)
Add .gitignore for build directory
Adapt for Meteor repo

Don’t use patches to minisat, use our forked minisat repo.

Add some notes in READMEs.

Tweak the build.
mv build.sh make.sh

It seems like a reasonable name, and having “build” and “build.sh” is just bad for tab completion.