Changed includes to reflect the minisat include hierarchy, as set up in the resolution of the Debian bug #606643.
Merge pull request #1 from fniksic/minisat2

Minisat include hierarchy