minisat-2.2.0+20130925-bp150.2.4

- make the version the same as for stp, klee and others

- Adjust _service

- Trim description
- Use version numbers based on those used by upstream

- add LICENSE and README

- add Makefile_lib_rule.patch: fix parallel build

- switch to the git version
- update to 20130925

- initial package